Skip navigation

Joseph A. Goguen

Titles by This Author

Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs.