Browse
FAQ

Author

John Penix

1 book found

Cover of SPIN Model Checking and Software Verification

SPIN Model Checking and Software Verification

Klaus Havelund, John Penix, Willem Visser · First published 2006