Cite
Copying safety and liveness properties of computational artefacts.
MLA
Angius, Nicola, and Giuseppe Primiero. “Copying Safety and Liveness Properties of Computational Artefacts.” Journal of Logic & Computation, vol. 33, no. 5, July 2023, pp. 1089–117. EBSCOhost, https://doi.org/10.1093/logcom/exac053.
APA
Angius, N., & Primiero, G. (2023). Copying safety and liveness properties of computational artefacts. Journal of Logic & Computation, 33(5), 1089–1117. https://doi.org/10.1093/logcom/exac053
Chicago
Angius, Nicola, and Giuseppe Primiero. 2023. “Copying Safety and Liveness Properties of Computational Artefacts.” Journal of Logic & Computation 33 (5): 1089–1117. doi:10.1093/logcom/exac053.