SPIN Model Checking and Software Verification
SPIN Model Checking and Software Verification
John Penix
,
Willem Visser
,
Klaus Havelund
Details
OL Work ID
OL27347402W
Find this book
Open Library