Model Checking Software
Model Checking Software
Jaco van de Pol
Details
OL Work ID
OL16969226W
Subjects
Logic design
Computer science
Software engineering
SPIN (Computer file)
Computer simulation
Congresses
Verification
Data processing
Testing
Computer software
Find this book
Open Library