An Executable Course in the Algebraic Semantics of Imperative Programs

Sorry, there's nothing here.

Cite this paper

@inproceedings{Goguen1996AnEC, title={An Executable Course in the Algebraic Semantics of Imperative Programs}, author={Joseph A. Goguen}, year={1996} }