W.: Temporal-Safety Proofs for Systems Code (2002)

by T Henzinger, R Jhala, R Majumdar, G Necula, G Sutre, Weimer
Venue:LNCS