The Logic of Correctness in Software Engineering.

Mark Priestly

Browse the full CaiSE paper archive.