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

Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner

Browse the full MODELS paper archive.