Search results for: Stacey Conroy
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 3. B Papers > 195-208
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 45-64
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 3. B Papers > 195-208
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 45-64