Programming Systems Lab: Publications by Edith Heiter

Saarland University Computer Science

Select author:

2017

Verification of PCP-Related Computational Reductions in Coq   (pdf)
Yannick Forster, Edith Heiter, Gert Smolka
submitted for review


Login to edit


Webmaster, Mon May 30 13:48:30 2016