EEMCS

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

EEMCS EPrints Service


Research Project: Mobius: Mobility, Ubiquity and Security - Enabling proof-carrying code for Java on mobile devices
Home Policy Brochure Browse Search User Area Contact Help

2013

Gurov, D. and Huisman, M. (2013) Reducing Behavioural to Structural Properties of Programs with Procedures. Theoretical computer science, 480. pp. 69-103. ISSN 0304-3975 *** ISI Impact 0,643 ***