Cover of Specification and verification of object-oriented software components

Legal full-text edition

Specification and verification of object-oriented software components

Andreas Roth · 2006

proof obligations encapsulation components context specification deductive verification modular proofs formal specification

Open source ↗ DOAB

Rights
Public-domain status shown for GLOBAL. DOAB open-access record with explicit license: CC-BY-NC-ND