Eilers, M., Schwerhoff, M., & Müller, P. (2024). Verification Algorithms for Automated Separation Logic Verifiers.
Style de citation Chicago (17e éd.)Eilers, Marco, Malte Schwerhoff, et Peter Müller. Verification Algorithms for Automated Separation Logic Verifiers. 2024.
Style de citation MLA (9e éd.)Eilers, Marco, et al. Verification Algorithms for Automated Separation Logic Verifiers. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.