APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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