Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J., & Birkedal, L. (2024). Almost-Sure Termination by Guarded Refinement.
Style de citation Chicago (17e éd.)Gregersen, Simon Oddershede, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, et Lars Birkedal. Almost-Sure Termination by Guarded Refinement. 2024.
Style de citation MLA (9e éd.)Gregersen, Simon Oddershede, et al. Almost-Sure Termination by Guarded Refinement. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.