DMCA

ECEASST High-level Proofs about Low-level Programs

by Holger Gast , Julia Trieflinger , Markus Roggenbach , Tiziana Margaria , Julia Padberg , Gabriele Taentzer , Holger Gast , Julia Trieflinger