LEADER 01559oam  2200433zu 450 
001 9910376259403321
005 20240605151903.0
035   $a(CKB)3170000000004180
035   $a(SSID)ssj0000812522
035   $a(PQKBManifestationID)12409580
035   $a(PQKBTitleCode)TC0000812522
035   $a(PQKBWorkID)10860123
035   $a(PQKB)11504804
035   $a(Association for Computing Machinery)10.1145/1656485
035   $a(EXLCZ)993170000000004180
100   $a20160829d2009      uy 
101 0 $aeng
135   $aurnn#008mam|a
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aProceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
210 31$a[Place of publication not identified] :$cAssociation for Computing Machinery,$d2009.
215   $a1 online resource (95 pages)
225 1 $aACM Other conferences.
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-60558-876-8 
410  0$aACM Other conferences
517 3 $aMoDeVVa '09
606   $aInformation Technology$xComputer Science (Hardware & Networks)
615  4$aInformation Technology$xComputer Science (Hardware & Networks)
700   $aLu?cio$b Levi$0997307
702   $aLucio$bLevi
712 02$aACM Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910376259403321
996   $aProceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation$92287268
997   $aUNINA