Validation of UML Models Thanks to Z and Lustre.

Sophie Dupuy-Chessa, Lydie du Bousquet

Browse the full FM paper archive.