Towards a Usable and Sustainable Deductive Verification Tool.

Bernhard Beckert, Richard Bubel, Reiner Hhnle, Mattias Ulbrich

Browse the full ISoLA paper archive.