Judith Przigoda

iš viso 1
Rodoma 1-11


Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verificat... Nils Przigoda, Rob...
237,79 €