Tesis de grado Programación basada en invariantes Autor(es): Milieris Caban, Alejandro - Fogel Herrnstadt, Eitan
Fecha de publicación: 2016
Institución: Universidad ORT Uruguay