Dependent Assertion Logic for Modular Software Verification.

Lukas Grtz

Browse the full TASE paper archive.