Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.

Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich

Browse the full ISoLA paper archive.