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
Original language | Undefined/Unknown |
---|---|
Title of host publication | WADT |
Publisher | Springer |
Pages | 438-458 |
Number of pages | 21 |
Volume | 1827 |
Publication status | Published - 2000 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
ID: 7242718