Legal full-text edition
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
design by contractsoftware specificationsoftware verificationabstract interpretationtheorem provingQA75.5-76.95
Rights
Public-domain status shown for GLOBAL. DOAB open-access record with explicit license: CC-BY-NC-ND
Public-domain status shown for GLOBAL. DOAB open-access record with explicit license: CC-BY-NC-ND