By: Rocha, Camilo, Muñoz, Cesar, Cadavid, Hector, Rocha, Camilo, Muñoz, Cesar, Cadavid, Hector, Informática
Published: 2009

By: Pérez, Alexander, Cadavid, Héctor, Rocha, Camilo, Pérez, Alexander, Cadavid, Héctor, Rocha, Camilo, Ecitrónica
Published in: Communications in Computer and Information Science (2017)

By: Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Informática
Published in: Integrated Formal Methods (2012)

By: Cadavid, Héctor, Andrikopoulos, Vasilios, Avgeriou, Paris, Cadavid, Héctor, Andrikopoulos, Vasilios, Avgeriou, Paris, CTG-Informática
Published: 2020

By: Cadavid, Héctor, Pérez, Alexander, Rocha, Camilo, Cadavid, Héctor, Pérez, Alexander, Rocha, Camilo, CTG-Informática, Ecitrónica
Published in: Advances in Computing (2017)

By: Cadavid, Héctor, Andrikopoulos, Vasilios, Avgeriou, Paris, Klein, John, Cadavid, Héctor, Andrikopoulos, Vasilios, Avgeriou, Paris, Klein, John, Informática
Published in: ESEM '20: Proceedings of the 14th ACM (2020)

By: Cadavid, Héctor, Garzón, Wilmer, Pérez, Alexander, López, Germán, Mendivelso, Cristian, Ramírez, Carlos, Cadavid, Héctor, Garzón, Wilmer, Pérez, Alexander, López, Germán, Mendivelso, Cristian, Ramírez, Carlos, Informática
Published in: Advances in Computing (2018)

By: Cadavid, Héctor, Garzón, Wilmer, Pérez, Alexander, López, Germán, Mendivelso, Cristian, Ramírez, Carlos, Cadavid, Héctor, Garzón, Wilmer, Pérez, Alexander, López, Germán, Mendivelso, Cristian, Ramírez, Carlos, Informática
Published in: Communications in Computer and Information Science (2018)