Jim Woodcock 0001, Ana Cavalcanti 0001, Simon Foster 0001, Marcel Oliveira, Augusto Sampaio, Frank Zeyda. UTP, Circus, and Isabelle. In Jonathan P. Bowen, Qin Li 0002, Qiwen Xu, editors, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Volume 14080 of Lecture Notes in Computer Science, pages 19-51, Springer, 2023. [doi]
Abstract is missing.