Search results for: Richard J. Trefler
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Verification > 94-113
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Abstraction and Compositional Techniques > 142-157
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 189-200
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 226-242