(1)
Kinirty, J. A. M├ętodos Formales Para Verificar Los Nuevos Desarrollos En Sistemas De Transporte. Ing.USBMed 2011, 2, 15-17.