MPG.eBooks - Search Results - "Michael Jackson"

Search alternatives:
michael jackson » richard jackson

Cover Image

1

Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Published 2007

Springer Berlin Heidelberg

“... Mellon University gave a talk on “System Modeling and Formal Verification with UCLID” and Michael Jackson...”