A Flexible Framework for Program Evolution and Verification.

Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi

Browse the full MODELSWARD paper archive.