Nicola, M., Agarwal, C., Koskinen, E., & Wies, T. (2025). Artifact for paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs. Zenodo.
Style de citation Chicago (17e éd.)Nicola, Mihai, Chaitanya Agarwal, Eric Koskinen, et Thomas Wies. Artifact for Paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs. Zenodo, 2025.
Style de citation MLA (9e éd.)Nicola, Mihai, et al. Artifact for Paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs. Zenodo, 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.