Style de citation APA (7e éd.)

Beyer, D., Chien, P., & Lee, N. (2024). Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version).

Style de citation Chicago (17e éd.)

Beyer, Dirk, Po-Chun Chien, et Nian-Ze Lee. Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version). 2024.

Style de citation MLA (9e éd.)

Beyer, Dirk, et al. Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version). 2024.

Attention : ces citations peuvent ne pas être correctes à 100%.