MARÍA ISABEL
PITA ANDREU
Profesora titular de universidad
José
Merseguer
Publicaciones en las que colabora con José Merseguer (2)
2005
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352
2000
-
Towards a verification logic for rewriting logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)