Ejercicios de practica de la catedra de Ingeniería de Software I del lenguaje de especificación TLA (Temporal Logic of Actions)
TomasCastroRojas/tla-exercises
Ejercicios de practica de la catedra de Ingeniería de Software I del lenguaje de especificación TLA (Temporal Logic of Actions)
TLA