Email Address * *
Name
Subject *
Message * Articles On Software Engineering Terminology, including Precondition, Postcondition, Abstract Interpretation, Reification (computer Science), Assertion (computing), Correctness (computer Science), Bisimulation, Loop Invariant - 1244758698 - 9781244758698