Algebraic Semantics of Imperative Programs

Goguen

Algebraic Semantics of Imperative Programs - IEEE

EBOOK
Copyright @ Delhi University Library System