Judith Przigoda

ספרים שבהם Judith Przigoda מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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

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

Nils Przigoda · 2019