Reading Length
Home
Speed Tests
Login
Dragan Bosnački
Identifiers
Open Library
OL9713092A
Top Subjects
Computer software, testing (1)
Computer software, verification (1)
Software engineering (1)
Books by Dragan Bosnački
Total count: 1
Model Checking Software
23rd International Symposium, SPIN 2016, Co-Located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
Springer London, Limited
2016-01-01
