Lista de

ALLOY
2
Ciolek, Daniel Alfredo. (2012). "Fajita : generación automática de casos de test basada en verificación acotada". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Rosner, Nicolás. (2006). "ParAlloy una implementación paralelay distribuida para DynAlloy". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.