JOT The Journal of Object Technology

An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot

Home
Contents
Masthead
Authors
Software
Special Themes

Articles matching “Darvas”

Adam Darvas, Peter Müller, Reasoning About Method Calls in Interface Specifications, pp. 59-85, PDF, HTML, DOI. Volume 5, no. 5 (June 2006)

The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot | AITO | Open Access | Contact

Published by AITO · Open Access since 2002