Search results for: Andy Galloway
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 396-415
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 226-242
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 104-123
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 362-373
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 74-88
Reliability Engineering and System Safety > 2007 > 92 > 2 > 156-170
Formal Methods in System Design > 1999 > 15 > 3 > 201-215