by Rosner, Nicolas, Geldenhuys, Jaco, Aguirre, Nazareno M., Visser, Willem, Frias, Marcelo F.
Published in IEEE transactions on software engineering (01.07.2015)

by Lopez Pombo, Carlos G., Castro, Pablo F., Aguirre, Nazareno M., Maibaum, Thomas S.E.
Published in Fundamenta informaticae (01.01.2019)

by Frias, Marcelo F., Galeotti, Juan P., López Pombo, Carlos G., Aguirre, Nazareno M.
Published in Proceedings of the 27th international conference on Software engineering (15.05.2005)

by Regis, Germán, Ricci, Nicolás, Aguirre, Nazareno M., Maibaum, Tom
Published in Formal Methods: Foundations and Applications (2012)

by Acosta, Araceli, Kilmurray, Cecilia, Castro, Pablo F., Aguirre, Nazareno M.
Published in Formal Methods: Foundations and Applications (2012)

by Aguirre, Nazareno M., Bengolea, Valeria S., Frias, Marcelo F., Galeotti, Juan P.
Published in Tests and Proofs (2011)

by López Pombo, Carlos Gustavo, Castro, Pablo F., Aguirre, Nazareno M., Maibaum, Thomas S. E.
Published in Recent Trends in Algebraic Development Techniques (2013)

by Aguirre, Nazareno M., Frias, Marcelo F., Ponzio, Pablo, Cardiff, Brian J., Galeotti, Juan P., Regis, Germán
Published in Formal Methods and Software Engineering (2008)

by Baum, Gabriel A, Aguirre, Nazareno M, Arroyo, Marcelo D
Published in Journal of Computer Science & Technology (01.05.2001)