Search results for: Susan Stepney
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 20-39
Electronic Notes in Theoretical Computer Science > 2007 > 191 > Complete > 3-23
Electronic Notes in Theoretical Computer Science > 2002 > 70 > 3 > 396-415