Deductive software verification

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

No reviews for this publication, yet.