4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE

Baudry, B., Faivre, A., Ghosh, S., & Pretschner, A. (2008). 4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5002 LNCS, pp. 145–150). https://doi.org/10.1007/978-3-540-69073-3_16