Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/wadt/FiadeiroMMMP99
AU - Fiadeiro, José Luiz
AU - Maibaum, T. S. E.
AU - Martí-Oliet, Narciso
AU - Meseguer, José
AU - Pita, Isabel
TI - Towards a Verification Logic for Rewriting Logic.
BT - Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers
SP - 438
EP - 458
PY - 1999//
DO - 10.1007/978-3-540-44616-3_25
UR - https://doi.org/10.1007/978-3-540-44616-3_25
ER -
