Un lenguaje para el diseño y validacion de especificaciones algebraicas.

Tesis doctoral de Ines Clerici Silvia   Datos académicos de la tesis doctoral «Un lenguaje para el diseño y validacion […]

, , , ,