External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalizing Bialgebraic Semantics in PVS 6.0

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]

Authors

Sjaak Smetsers

This author has not been identified. Look up 'Sjaak Smetsers' in Google

Ken Madlener

This author has not been identified. Look up 'Ken Madlener' in Google

Marko C. J. D. van Eekelen

This author has not been identified. Look up 'Marko C. J. D. van Eekelen' in Google
runs on