Nils Przigoda

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