EEMCS

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

EEMCS EPrints Service


Author: de Carvalho Gomes, P.
Home Policy Brochure Browse Search User Area Contact Help

2012

Amighi, A. and de Carvalho Gomes, P. and Gurov, D. and Huisman, M. (2012) Sound Control-Flow Graph Extraction for Java Programs with Exceptions. In: 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), 1-5 Oct 2012, Thessaloniki, Greece. pp. 33-47. Lecture Notes in Computer Science 7504. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33825-0

2011

Amighi, A. and de Carvalho Gomes, P. and Huisman, M. (2011) Provably Correct Control-Flow Graphs from Java Programs with Exceptions. In: Papers the of 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11, 5-7 Oct 2011, Turin, Italy. pp. 31-48. Karlsruhe Reports in Informatics (26). Karlsruhe Institute of Technology. ISSN 2190-4782