Cita APA

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. Web

Citación estilo Chicago

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

Cita MLA

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