Colmenero Zito, G. (2016). Verificación formal de algoritmos fundamentales para la Industria.
Cita Chicago Style (17a ed.)Colmenero Zito, Guillermo. Verificación Formal De Algoritmos Fundamentales Para La Industria. 2016.
Cita MLA (9a ed.)Colmenero Zito, Guillermo. Verificación Formal De Algoritmos Fundamentales Para La Industria. 2016.
Precaución: Estas citas no son 100% exactas.