EEMCS

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

EEMCS EPrints Service


Editor: Checkik, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2009

Huisman, M. and Tamalet, A. (2009) A Formal Connection between Security Automata and JML Annotations. In: Fundamental Approaches to Software Engineering, March 22- 29, 2009, York, UK. pp. 340-354. Lecture Notes in Computer Science 5503. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00592-3

This list was generated on Sun Mar 19 23:36:25 CET 2017.