STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Nils Przigoda | lit.salon
Nils Przigoda
No bio available.
Add one in Open Library.
Books by Nils Przigoda (50 max)
+ shelf
+ list
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
2018
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler