A Logic for the Schema Calculus

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_13 ◽

1998 ◽

pp. 172-191 ◽

Author(s):

Martin C. Henson ◽

Steve Reeves

Download Full-text