APA引文

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

Citação norma Chicago

Ponzio, Pablo, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, and Marcelo F. Frias. "Efficient Bounded Model Checking of Heap-Manipulating Programs Using Tight Field Bounds." Fundamental Approaches to Software Engineering 2021.

MLA引文

Ponzio, Pablo, et al. "Efficient Bounded Model Checking of Heap-Manipulating Programs Using Tight Field Bounds." Fundamental Approaches to Software Engineering 2021.