Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2008
Huisman, M. and Aktug, I. and Gurov, D.
(2008)
Program models for compositional verification.
In: 10th International Conference on Formal Engineering Methods, 27-31 Oct 2008.
pp. 147-166.
Lecture Notes in Computer Science 5256.
Springer Verlag.
ISBN 978-3-540-88193-3
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||