Citazione Stile APA (7a Edizione)

Czerner, P., Esparza, J., Krasotin, V., & Welzel-Mohr, C. (2024). Computing Inductive Invariants of Regular Abstraction Frameworks.

Citazione stile Chigago Style (17a edizione)

Czerner, Philipp, Javier Esparza, Valentin Krasotin, e Christoph Welzel-Mohr. Computing Inductive Invariants of Regular Abstraction Frameworks. 2024.

Citatione MLA (9a ed.)

Czerner, Philipp, et al. Computing Inductive Invariants of Regular Abstraction Frameworks. 2024.