MARÍA ISABEL
PITA ANDREU
Profesora titular de universidad
McMaster University
Hamilton, CanadáPublicacións en colaboración con investigadores/as de McMaster University (1)
2005
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352