Deductive software verification

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

Possibly Related Publications

The following publications are possibly variants of this publication: