Articles matching “Drossopoulou”

  1. A. J. Summers, Sophia Drossopoulou, Peter Müller, Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods, pp. 85-125, PDF, HTML, DOI. Volume 8, no. 4 (June 2009)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact