Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Beckert, B.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.


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


Bormer, T. and Brockschmidt, M. and Distefano, D. and Ernst, G. and Filliatre, J.-C. and Grigore, R. and Huisman, M. and Klebanov, V. and Marche, C. and Monahan, R. and Mostowski, W.I. and Poiikarpova, N. and Scheben, C. and Schellhorn, G. and Tofan, B. and Tschannen, J. and Ulbrich, M. (2012) The COST IC0701 Verification Competition 2011. In: International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, 5-7 Oct 2011, Turin, Italy. pp. 3-21. Lecture Notes in Computer Science 7421. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31761-3
Huisman, M. and Klebanov, V. and Monahan, R. (2012) On the organisation of program verification competitions. In: 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012), 30 June 2012, Manchester, UK. pp. 50-59. CEUR-WS Proceedings 873. Sun SITE Central Europe. ISSN 1613-0073


Huisman, M. and Gurov, D. (2010) CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties. In: Formal Verification of Object-Oriented Software (FoVeOOS) 2010., 28 - 30 June 2010. pp. 107-121. Lecture Notes in Computer Science 6528. Springer Verlag. ISBN 978-3-642-18070-5

This list was generated on Thu May 25 23:07:56 CEST 2017.