Thomas S. E. Maibaum profile picture

Thomas S. E. Maibaum

Is this your author profile? Create an account to claim and customize it!

Handbook of Logic in Computer Science: Volume 3. Semantic Structures
The Specification of Computer Programs
Handbook of Logic in Computer Science Semantic structures
Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers