Visning af: Reuse of Invariants in Proofs of Implementation

Tilbage til artikeldetaljer Reuse of Invariants in Proofs of Implementation Download Download PDF