EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Eugster, P.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2009

Albert, E. and Banerjee, A. and Drossopoulou, S. and Huisman, M. and Igarashi, A. and Leavens, G.T. and Müller, P. and Wrigstad, T. (2009) Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. In: Object-Oriented Technology. ECOOP 2008 Workshop Reader, July 8, 2008, Paphos, Cyprus. pp. 70-76. Lecture Notes in Computer Science 5475. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02046-9

This list was generated on Fri Mar 24 01:16:54 CET 2017.