Back to University of Twente portal
Home
>
Education
<< EEMCS (EWI)
Home
News and Events
People
Research
Education
» Courses
» ST Master
» BSc Projects
» MSc Projects
» Design Projects
» Internships
Vacancies
Intranet
Contact
author:
Rick van Galen
title:
Towards Verification of MPJ-based Java Programs
keywords:
topics:
Logics and semantics
committee:
Marieke Huisman
end:
June 2011