Cita APA (7a ed.)

Galeotti, J. P., Rosner, N., López Pombo, C. G., & Frías, M. (2022). Analysis of invariants for efficient bounded verification.

Cita Chicago Style (17a ed.)

Galeotti, Juan Pablo, Nicolás Rosner, Carlos G. López Pombo, y Marcelo Frías. Analysis of Invariants for Efficient Bounded Verification. 2022.

Cita MLA (8a ed.)

Galeotti, Juan Pablo, et al. Analysis of Invariants for Efficient Bounded Verification. 2022.