Conditional software specification & assurance: A practical assessment of contract-based approaches.

Marc Frster

Browse the full ISSRE paper archive.