DMCA

An Executable Course in the Algebraic Semantics of Imperative Programs (1996)

by Grant Malcolm , Joseph A. Goguen
Venue:Teaching and Learning Formal Methods
Citations:3 - 2 self