Nauta, W., Gerhold, M., & Huisman, M. (2026). Crash-free Deductive Verifiers.
Style de citation Chicago (17e éd.)Nauta, Wander, Marcus Gerhold, et Marieke Huisman. Crash-free Deductive Verifiers. 2026.
Style de citation MLA (9e éd.)Nauta, Wander, et al. Crash-free Deductive Verifiers. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.