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]
@inproceedings{000100OSZ23,
title = {UTP, Circus, and Isabelle},
author = {Jim Woodcock 0001 and Ana Cavalcanti 0001 and Simon Foster 0001 and Marcel Oliveira and Augusto Sampaio and Frank Zeyda},
year = {2023},
doi = {10.1007/978-3-031-40436-8_2},
url = {https://doi.org/10.1007/978-3-031-40436-8_2},
researchr = {https://researchr.org/publication/000100OSZ23},
cites = {0},
citedby = {0},
pages = {19-51},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday},
editor = {Jonathan P. Bowen and Qin Li 0002 and Qiwen Xu},
volume = {14080},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-40436-8},
}