Judith Przigoda

Books that list Judith Przigoda among their authors but not as the lead author: co-written works, collections and compilations.

Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversNils Przigoda

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

Nils Przigoda · 2019