Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen. Formalizing Bialgebraic Semantics in PVS 6.0. In Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß, editors, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland. Volume 46 of OASICS, pages 47-61, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
@inproceedings{SmetsersME15,
title = {Formalizing Bialgebraic Semantics in PVS 6.0},
author = {Sjaak Smetsers and Ken Madlener and Marko C. J. D. van Eekelen},
year = {2015},
doi = {10.4230/OASIcs.WPTE.2015.47},
url = {http://dx.doi.org/10.4230/OASIcs.WPTE.2015.47},
researchr = {https://researchr.org/publication/SmetsersME15},
cites = {0},
citedby = {0},
pages = {47-61},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland},
editor = {Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schauß},
volume = {46},
series = {OASICS},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-94-1},
}