Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversJudith Przigoda, Rolf Drechsler og 2 andrePocketEngelskLegg i handlekurvNettlager
Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversJudith Przigoda, Rolf Drechsler og 2 andreInnbundetEngelskLegg i handlekurvNettlager