Deductive software verification

Jean-Christophe FilliĆ¢tre. Deductive software verification. STTT, 13(5):397-403, 2011. [doi]

Abstract

Abstract is missing.