Towards a Verification Logic for Rewriting Logic - Research

Home > Computer Science home > Research > Profile > Publications > Towards a Verification Logic for Rewriting Logic

Towards a Verification Logic for Rewriting Logic. / Fiadeiro, José Luiz; Maibaum, T. S. E.; Martí-Oliet, Narciso; Meseguer, José; Pita, Isabel.

WADT. Vol. 1827 Springer, 2000. p. 438-458 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published

Name	Lecture Notes in Computer Science
Publisher	Springer

ID: 7242718

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455