SyVOLT: Full Model Transformation Verification Using Contracts.

Levi Lcio, Bentley James Oakes, Cludio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe

Browse the full MODELS paper archive.