Abstraction for Safety, Induction for Liveness

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_4 ◽

2004 ◽

pp. 20-20

Author(s):

Muffy Calder

Download Full-text