Author

Profile picture
John Rushby
SRI International
Menlo Park, United States of America
1 article by this author
Sort by:
Automated ...
Research Article
Automated Formal Methods Enter the Mainstream
John Rushby
10.3217/jucs-013-05-0650
 28-05-2007
 Unique: 530 | Total: 665  | Access Period:
 650-660
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK