Program checking with certificates: Separating correctness-critical code (2003)

by Sabine Glesner
Venue:of Lecture Notes in Computer Science