Program Checking with Certificates: Separating Correctness-Critical Code.

Sabine Glesner

Browse the full FM paper archive.