Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.

Susanne Graf, Sophie Quinton

Browse the full FORTE paper archive.