Generalised Substitution Language and Differentials

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

10.1007/3-540-45648-1_21 ◽

2002 ◽

pp. 396-415 ◽

Author(s):

James Blow ◽

Andy Galloway

Download Full-text