Modal Contracts for Component-Based Design.

Gregor Goessler, Jean-Baptiste Raclet

Browse the full SEFM paper archive.