Email Address * *
Name
Subject *
Message * Formal Methods Introduction Postcondition, Andrew D. Gordon, Predicate Transformer Semantics, Wirth Syntax Notation, Qed Manifesto - 1155925734 - 9781155925738