Email Address * *
Name
Subject *
Message * Articles On Formal Methods Terminology, including Precondition, Postcondition, Abstract Interpretation, Reification (computer Science), Assertion (computing), Correctness (computer Science), Bisimulation, Loop Invariant - 1242541764 - 9781242541766