Inproceedings,
Towards a Verification Logic for Rewriting Logic.
J. Fiadeiro, T. Maibaum, N. Martí-Oliet, J. Meseguer, and I. Pita.WADT, volume 1827 of Lecture Notes in Computer Science, page 438-458. Springer, (1999)
Meta data
- BibTeX key
- conf/wadt/FiadeiroMMMP99
- entry type
- inproceedings
- booktitle
- WADT
- year
- 1999
- pages
- 438-458
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 1827
- crossref
- conf/wadt/1999
- ee
- https://doi.org/10.1007/978-3-540-44616-3_25
- isbn
- 3-540-67898-0
- url
- http://dblp.uni-trier.de/db/conf/wadt/wadt1999.html#FiadeiroMMMP99
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/wadt/FiadeiroMMMP99
%A Fiadeiro, José Luiz
%A Maibaum, T. S. E.
%A Martí-Oliet, Narciso
%A Meseguer, José
%A Pita, Isabel
%B WADT
%D 1999
%E Bert, Didier
%E Choppy, Christine
%E Mosses, Peter D.
%I Springer
%K dblp
%P 438-458
%T Towards a Verification Logic for Rewriting Logic.
%U http://dblp.uni-trier.de/db/conf/wadt/wadt1999.html#FiadeiroMMMP99
%V 1827
%@ 3-540-67898-0
@inproceedings{conf/wadt/FiadeiroMMMP99,
added-at = {2023-09-20T00:00:00.000+0200},
author = {Fiadeiro, José Luiz and Maibaum, T. S. E. and Martí-Oliet, Narciso and Meseguer, José and Pita, Isabel},
biburl = {https://www.bibsonomy.org/bibtex/2add82d3e3d74899b4a228b572f3f2c87/dblp},
booktitle = {WADT},
crossref = {conf/wadt/1999},
editor = {Bert, Didier and Choppy, Christine and Mosses, Peter D.},
ee = {https://doi.org/10.1007/978-3-540-44616-3_25},
interhash = {eba9293a47685fe644a09694e719f9f6},
intrahash = {add82d3e3d74899b4a228b572f3f2c87},
isbn = {3-540-67898-0},
keywords = {dblp},
pages = {438-458},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T20:54:05.000+0200},
title = {Towards a Verification Logic for Rewriting Logic.},
url = {http://dblp.uni-trier.de/db/conf/wadt/wadt1999.html#FiadeiroMMMP99},
volume = 1827,
year = 1999
}