Search results for: Stefan Hallerstede
Science of Computer Programming > 2016 > 131 > C > 94-108
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 49-63
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 5. ABZ Short Papers > 347-347
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Development > 195-210
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 3. B Papers > 125-138
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The DEPLOY Project > 139-158
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Requirements and Specifications > 97-111
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 101-102