B-ASM: Specification of ASM à la B

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

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

2010 ◽

pp. 391-391 ◽

Cited By ~ 1

Author(s):

David Michel ◽

Frédéric Gervais ◽

Pierre Valarcher

Download Full-text