1.
Kinirty JA. M├ętodos formales para verificar los nuevos desarrollos en sistemas de transporte. Ing.USBMed [Internet]. 30 de junio de 2011 [citado 24 de enero de 2022];2(1):15-7. Disponible en: https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243