Articles matching “Darvas”

  1. 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