LEADER 02196oam 2200493zu 450 001 9910376131103321 005 20210807004713.0 010 $a1-4503-0914-3 035 $a(CKB)3460000000103027 035 $a(SSID)ssj0001120662 035 $a(PQKBManifestationID)11629792 035 $a(PQKBTitleCode)TC0001120662 035 $a(PQKBWorkID)11159878 035 $a(PQKB)11352719 035 $a(WaSeSS)IndRDA00012206 035 $a(Association for Computing Machinery)10.1145/2095654 035 $a(EXLCZ)993460000000103027 100 $a20160829d2011 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProceedings of the 8th International Workshop : MoDeVVa 2011 : Model-Driven Engineering, Verification and Validation : October 17th, 2011, Wellington, New Zealand : co-located with the 14th International Conference on Model Driven Engineering Languages and 210 31$a[Place of publication not identified]$cACM$d2011 215 $a1 online resource (62 pages) 225 1 $aACM International Conference Proceedings Series 300 $aBibliographic Level Mode of Issuance: Monograph 410 0$aACM international conference proceedings series. 517 1 $aProceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation 517 1 $aMoDeVVa '11 Model-Driven Engineering, Verification, and Validation, Wellington, New Zealand-October 17, 2011 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 700 $aWeißleder$b Stephan$0861293 702 $aWeissleder$b Stephan 702 $aLúcio$b Levi 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376131103321 996 $aProceedings of the 8th International Workshop : MoDeVVa 2011 : Model-Driven Engineering, Verification and Validation : October 17th, 2011, Wellington, New Zealand : co-located with the 14th International Conference on Model Driven Engineering Languages and$91922237 997 $aUNINA