Author

Nils Przigoda

1 book found

Cover of Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler · First published 2018