Theories, Implementations, and Transformations

ZB 2002:Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/3-540-45648-1_1 ◽

2002 ◽

pp. 1-21 ◽

Author(s):

Eric Hehner ◽

Ioannis T. Kassios

Download Full-text