Kinirty, J. A. (2018). Métodos formales para verificar los nuevos desarrollos en sistemas de transporte. Editorial Bonaventuriana.
Citación Chicago StyleKinirty, Joseph A. Métodos Formales Para Verificar Los Nuevos Desarrollos En Sistemas De Transporte. Editorial Bonaventuriana, 2018.
Cita MLAKinirty, Joseph A. Métodos Formales Para Verificar Los Nuevos Desarrollos En Sistemas De Transporte. Editorial Bonaventuriana, 2018.