Cita APA

Asteasuain, F., Aragón, R., Rodriguez Caldeira, L., Granata, N., Patera, N., Gamboa, P., & Feng, H. S. (2022). Verificación formal de software en sistemas de big data. Web

Citación estilo Chicago

Asteasuain, Fernando, Rafael Aragón, Luciana Rodriguez Caldeira, Nicolás Granata, Nahuel Patera, Pablo Gamboa, and Hang Shao Feng. Verificación Formal De Software En Sistemas De Big Data. 2022.

Cita MLA

Asteasuain, Fernando, et al. Verificación Formal De Software En Sistemas De Big Data. 2022.