Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification.

Gidon Ernst, Wolfram Pfeifer, Mattias Ulbrich

Browse the full ISoLA paper archive.