Lee, Y., & Nakazawa, K. (2025). Relative Completeness of Incorrectness Separation Logic.
Style de citation Chicago (17e éd.)Lee, Yeonseok, et Koji Nakazawa. Relative Completeness of Incorrectness Separation Logic. 2025.
Style de citation MLA (9e éd.)Lee, Yeonseok, et Koji Nakazawa. Relative Completeness of Incorrectness Separation Logic. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.