MARÍA ISABEL
PITA ANDREU
Profesora titular de universidad
![Foto de MARÍA ISABEL](/img/nophoto.png)
![Foto de University of Illinois at Urbana Champaign](/img/noimage_org.png)
University of Illinois at Urbana Champaign
Urbana, Estados UnidosPublications in collaboration with researchers from University of Illinois at Urbana Champaign (1)
2005
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352