Certification of Quantitative Properties of Programs (2005)

by M Hofmann, H-W Loidl, L Beringer
Venue:In Logical Aspects of Secure Computer Systems, Marktoberdorf, Aug 2-13, 2005. IOS Press. Lecture Notes of the Marktoberdorf Summer School