Compositional Verification in Action.

Hubert Garavel, Frdric Lang, Laurent Mounier

Browse the full FMICS paper archive.