Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2009
Aan de Brugh, N.H.M. and Nguyen, Viet Yen and Ruys, T.C.
(2009)
MoonWalker: Veri?cation of .NET Programs.
In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK.
pp. 170-173.
Lecture Notes in Computer Science 5505.
Springer Verlag.
ISBN 978-3-642-00767-5
2007
Ruys, T.C. and Aan de Brugh, N.H.M.
(2007)
MMC: the Mono Model Checker.
In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007), 31 March 2007, Braga, Portugal.
pp. 149-160.
Electronic Notes in Theoretical Computer Science 190 (1).
Elsevier.
ISSN 1571-0661
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||