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 proceedingConference contribution

Published
Original languageUndefined/Unknown
Title of host publicationWADT
PublisherSpringer
Pages438-458
Number of pages21
Volume1827
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

ID: 7242718