Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2010
Huisman, M. and Gurov, D.
(2010)
CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties.
In: Formal Verification of Object-Oriented Software (FoVeOOS) 2010., 28 - 30 June 2010.
pp. 107-121.
Lecture Notes in Computer Science 6528.
Springer Verlag.
ISBN 978-3-642-18070-5
This list was generated on Thu May 24 07:15:17 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||