EEMCS

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

EEMCS EPrints Service


Classification: CR-D.3.1
Home Policy Brochure Browse Search User Area Contact Help

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

2010

Ketema, J. and Simonsen, J.G. (2010) Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies. Logical Methods in Computer Science, 6 (1:7). pp. 1-35. ISSN 1860-5974 *** ISI Impact 0,569 ***

2009

Ketema, J. and Simonsen, J.G. (2009) Infinitary Combinatory Reduction Systems: Confluence. Logical Methods in Computer Science, 5 (4). ISSN 1860-5974 *** ISI Impact 0,569 ***