3 public-domain matches

Deductive Verification

Cover of Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Benjamin Weiß

Cover of Specification and verification of object-oriented software components

Specification and verification of object-oriented software components

Andreas Roth

A System of Logic, Ratiocinative and Inductive

A System of Logic, Ratiocinative and Inductive

John Stuart Mill