Rick van Galen - Towards Verification of MPJ-based Java Programs

author:Rick van Galen
title:Towards Verification of MPJ-based Java Programs
keywords:
topics:Logics and semantics
committee:prof.dr. M. Huisman
graduation date:June 2011


Abstract