Search results for: John Derrick
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 644-664
Formal Aspects of Computing > 2001 > 13 > 2 > 111-127
Computer Standards & Interfaces > 1995 > 17 > 5-6 > 457-479