Automated Formal Verification of Model Transformations
Date
Type
egyéb konferenciaközlemény
Container Title
Proc. of CSDUML 2003: Workshop on Critical Systems Development in UML;
Gender
konferenciaközlemény
Műegyetemi Digitális ArchívumMűegyetemi Digitális Archívum