4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE.

Benoit Baudry Alain Faivre Sudipto Ghosh Alexander Pretschner 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. 145-150 2007 MoDELS Workshops http://dx.doi.org/10.1007/978-3-540-69073-3_16 conf/models/2007w db/conf/models/models2007w.html#BaudryFGP07