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%.