STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Dragan Bošnački | lit.salon
Dragan Bošnački
No bio available.
Add one in Open Library.
Books by Dragan Bošnački (50 max)
+ shelf
+ list
Model Checking Software 23rd International Symposium, SPIN 2016, Co-Located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
2016
Dragan Bošnački, Anton Wijs
