Email Address * *
Name
Subject *
Message * Formal Specification Languages Abstract Machine Notation, Action Semantics, Algebraic Semantics (Computer Science), Alloy (Specification Language), A - 1230569944 - 9781230569949