Designing, animating, and verifying partial UML Models.

Frdric Jouault, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour

Browse the full MODELS paper archive.