Implementacion de especificaciones algebraicas

Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su […]

, , , , ,