Wyniki wyszukiwania dla: Steve Dunne
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Semantics > 137-152
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 3. B Papers > 195-208
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 2003: Formal Specification and Development in Z and B > 178-196
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 45-64
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 19-33
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 270-290
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 187-202
Electronic Notes in Theoretical Computer Science > 2009 > 259 > Complete > 35-45
Formal Aspects of Computing > 2006 > 18 > 3 > 288-307
Electronic Notes in Theoretical Computer Science > 2002 > 70 > 3 > 334-350
Electronic Notes in Theoretical Computer Science > 2001 > 42 > Complete > 104-123
Formal Methods in System Design > 1999 > 15 > 3 > 201-215