Naser Pastoriza, A. J., & D'Argenio, P. R. (2020). Verificación formal de protocolos distribuidos.
Cita Chicago Style (17a ed.)Naser Pastoriza, Alejandro José, y Pedro Ruben D'Argenio. Verificación Formal De Protocolos Distribuidos. 2020.
Cita MLA (8a ed.)Naser Pastoriza, Alejandro José, y Pedro Ruben D'Argenio. Verificación Formal De Protocolos Distribuidos. 2020.
Precaución: Estas citas no son 100% exactas.