Tom Maibaum profile picture

Tom Maibaum

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

Stand Alone

Fundamental Approaches to Software Engineering
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Formal Methods and Software Engineering