EEMCS

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

EEMCS EPrints Service


27671 Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Home Policy Brochure Browse Search User Area Contact Help

Abraham, E. and Huisman, M., ed. (2016) Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science 9681. Springer Verlag, London. ISSN 0302-9743 ISBN 978-3-319-33692-3

Full text available as:

PDF

25331 Kb

Official URL: http://dx.doi.org/10.1007/978-3-319-33693-0


Item Type:Book
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-General
ID Code:27671
Status:Published
Deposited On:15 March 2017
Refereed:Yes
International:Yes
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item