Crossmark

UTP, Circus, and Isabelle

Crossref DOI link: https://doi.org/10.1007/978-3-031-40436-8_2

Published Online: 2023-09-08

Published Print: 2023

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Woodcock, Jim https://orcid.org/0000-0001-7955-2702
Cavalcanti, Ana https://orcid.org/0000-0002-0831-1976
Foster, Simon https://orcid.org/0000-0002-9889-9514
Oliveira, Marcel https://orcid.org/0000-0002-3023-2748
Sampaio, Augusto https://orcid.org/0000-0001-9870-6893
Zeyda, Frank https://orcid.org/0009-0009-4251-4740
License Information

Text and Data Mining valid from 2023-01-01

Version of Record valid from 2023-01-01
More Information

Chapter History

First Online: 8 September 2023