Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura

Tesis doctoral de Isabel Pita Andreu Las técnicas de especificación formal de sistemas concurrentes pueden agruparse en general en dos […]

, , , , ,