Reading Length
Home
Speed Tests
Login
Alex Groce
Identifiers
Open Library
OL7204347A
Top Subjects
Computer science (1)
Logic design (1)
Software engineering (1)
Books by Alex Groce
Total count: 1
Model Checking Software
18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Springer-Verlag GmbH Berlin Heidelberg
2011-01-01
