Search results for: Bill Stoddart
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 155-170
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 155-170