Compositional Specification of Commercial Contracts.

Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen

Browse the full ISoLA paper archive.