Contract-Based Verification of Hierarchical Systems of Components.

Sophie Quinton, Susanne Graf

Browse the full SEFM paper archive.