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
Haack, C. and Huisman, M. and Hurlin, C.
(2011)
Permission-Based Separation Logic for Multithreaded Java Programs.
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 15.
pp. 13-23.
ISSN not assigned
Soleimanifard, S. and Gurov, D. and Huisman, M.
(2011)
ProMoVer: Modular Verification of Temporal Safety Properties.
In: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), 14-18 Nov 2011, Montevideo, Uruguay.
pp. 366-381.
Lecture Notes in Computer Science 7041.
Springer Verlag.
ISBN 978-3-642-24690-6
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||