Towards a Verification Logic for Rewriting Logic

José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita

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

Name	Lecture Notes in Computer Science
Publisher	Springer

Cite this

@inproceedings{ae349a2e6a754e0c994c2d2837c15da3,

title = "Towards a Verification Logic for Rewriting Logic",

author = "Fiadeiro, \{Jos{\'e} Luiz\} and Maibaum, \{T. S. E.\} and Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer and Isabel Pita",

year = "2000",

language = "Undefined/Unknown",

volume = "1827",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "438--458",

booktitle = "WADT",

}