<< 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