From Operating-System Correctness to Pervasively Verified Applications.

Matthias Daum, Norbert Schirmer, Mareike Schmidt

Browse the full IFM paper archive.