Naser Pastoriza, A. J., & D'Argenio, P. R. (2020). Verificación formal de protocolos distribuidos.
Chicago Style (17th ed.) CitationNaser Pastoriza, Alejandro José, and Pedro Ruben D'Argenio. Verificación Formal De Protocolos Distribuidos. 2020.
MLA (9th ed.) CitationNaser Pastoriza, Alejandro José, and Pedro Ruben D'Argenio. Verificación Formal De Protocolos Distribuidos. 2020.