Kinirty, J. A. (2011). Métodos formales para verificar los nuevos desarrollos en sistemas de transporte. Ingenierías USBMed, 2(1), 15–17. https://doi.org/10.21500/20275846.243