Refinement-Animation for Event-B — Towards a Method of Validation

Abstract State Machines, Alloy, B and Z - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11811-1_22 ◽

2010 ◽

pp. 287-301 ◽

Cited By ~ 5

Author(s):

Stefan Hallerstede ◽

Michael Leuschel ◽

Daniel Plagge

Download Full-text