Mathematical Foundations of Software Engineering. Essays in Honour of Tom Maibaum on the Occasion of His 70th Birthday and Retirement

Nazareno Aguirre, Valentin Cassano, Pablo Castro · 2022