Search results for: Tom Maibaum
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Communication > 141-155
Lecture Notes in Computer Science > Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems > 206-227
Lecture Notes in Computer Science > ZB 2000: Formal Specification and Development in Z and B > 107-126
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Science of Computer Programming > 2015 > 111 > P2 > 339-362
IEEE Design & Test > 2015 > 32 > 5 > 45 - 55
2012 19th Asia-Pacific Software Engineering Conference > 1 > 493 - 498
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 4 > 11-17
Electronic Notes in Theoretical Computer Science > 2004 > 108 > Complete > 69-81
Information Processing Letters > 2003 > 88 > 1-2 > 45-51
Electronic Notes in Theoretical Computer Science > 2002 > 67 > Complete > 1-20
Group Decision and Negotiation > 2002 > 11 > 6 > 469-485