01559oam 2200433zu 450 991037625940332120240605151903.0(CKB)3170000000004180(SSID)ssj0000812522(PQKBManifestationID)12409580(PQKBTitleCode)TC0000812522(PQKBWorkID)10860123(PQKB)11504804(Association for Computing Machinery)10.1145/1656485(EXLCZ)99317000000000418020160829d2009 uy engurnn#008mam|atxtrdacontentcrdamediacrrdacarrierProceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation[Place of publication not identified] :Association for Computing Machinery,2009.1 online resource (95 pages)ACM Other conferences.Bibliographic Level Mode of Issuance: Monograph1-60558-876-8 ACM Other conferencesMoDeVVa '09Information TechnologyComputer Science (Hardware & Networks)Information TechnologyComputer Science (Hardware & Networks)Lúcio Levi997307LucioLeviACM Digital Library.PQKBBOOK9910376259403321Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation2287268UNINA