EEMCS

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

EEMCS EPrints Service


Editor: Hähnle, R.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2016

Huisman, M. and Ahrendt, W. and Grahl, D. and Hentschel, M.G.B.G. (2016) Formal specification with the Java modeling language. In: Deductive Software Verification – The KeY Book. Lecture Notes in Computer Science 10001. Springer Verlag, London, pp. 193-241. ISSN 0302-9743 ISBN 978-3-319-49811-9

This list was generated on Fri May 26 01:59:48 CEST 2017.