Publikationen in Zusammenarbeit mit Forschern von University of Illinois at Urbana Champaign (1)

2005

  1. A verification logic for rewriting logic

    Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352