Search results for: Ken McMillan
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Section 1: Invited Talks > 3-3
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 5 > 535-547
Formal Methods in System Design > 2005 > 26 > 1 > 7-25
Information and Computation > 2000 > 160 > 1-2 > 167-188