Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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