Developing A New Language to Construct Algebraic Hierarchies for Event-B

Dependable Software Engineering. Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99933-3_9 ◽

2018 ◽

pp. 135-141

Author(s):

James Snook ◽

Michael Butler ◽

Thai Son Hoang

Download Full-text