Editors' Top Picks

SPIN Model Checker, The Quotes

Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
SPIN Model Checker, The: Primer and Reference Manual SPIN Model Checker, The: Primer and Reference Manual by Gerard Holzmann
4 ratings, 4.25 average rating, 0 reviews
SPIN Model Checker, The Quotes Showing 0-0 of 0

All Quotes
Quotes By Gerard Holzmann