Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.

Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y […]

, , , , ,