Search results for: Bill Stoddart
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Semantics > 137-152
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 2000: Formal Specification and Development in Z and B > 394-413
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 458-476
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Concurrency > 24-41
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 197-215
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 187-202
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 155-170
Formal Aspects of Computing > 2013 > 25 > 1 > 107-131
Electronic Notes in Theoretical Computer Science > 2010 > 253 > 6 > 33-56
Formal Methods in System Design > 1999 > 15 > 3 > 201-215