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