MARÍA ISABEL
PITA ANDREU
Profesora titular de universidad
Doktorego-tesia
-
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura 2003
Universidad Complutense de Madrid
Zuzendutako tesiak (1)
-
Model checking of strategy-controlled systems in rewriting logic 2022
Universidad Complutense de Madrid