Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2012
Amighi, A. and Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M.
(2012)
The VerCors Project: Setting Up Basecamp.
In: Sixth Workshop Programming Languages meets Program Verification (PLPV 2012), 24 Jan 2012, Philadelphia, USA.
pp. 71-82.
ACM.
ISBN 978-1-4503-1125-0
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||