Reading Length
Home
Speed Tests
Login
L. Petrucci
Identifiers
Open Library
OL3179742A
Top Subjects
Verification (1)
Computer software (1)
Computers - Languages / Programming (1)
Tools (1)
Computer Science (1)
Computer Engineering (1)
Computers (1)
Books by L. Petrucci
Total count: 1
Systems and Software Verification
Model-Checking Techniques and Tools
1 edition
Springer
2001-08-09