Cita APA (7a ed.)

Ponzio, P. D., Godio, A., Rosner, N., Arroyo, M., Aguirre, N. M., & Frias, M. F. (2021). Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.

Cita Chicago Style (17a ed.)

Ponzio, Pablo Daniel, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Matías Aguirre, y Marcelo F. Frias. Efficient Bounded Model Checking of Heap-Manipulating Programs Using Tight Field Bounds. 2021.

Cita MLA (8a ed.)

Ponzio, Pablo Daniel, et al. Efficient Bounded Model Checking of Heap-Manipulating Programs Using Tight Field Bounds. 2021.