Publications

A Lazy Unbounded Model Checker for Event-B

AuthID
P-00F-WRZ

Author(s)

Matos, PJ

Fischer, B

Marques Silva, JP

Editor(s)

Breitman,KK;Cavalcanti,A

Document Type

Proceedings Paper

Year published

2009

Published

in Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5885, Pages: 485-503

Conference

11Th International Conference on Formal Engineering Methods, Icfem 2009, Date: 9 December 2009 through 12 December 2009, Location: Rio de Janeiro

Indexing