Programming Systems Lab: Publications by Edith Heiter

Saarland University Computer Science

Select author:

2018

Verification of PCP-Related Computational Reductions in Coq   (pdf)
Yannick Forster, Edith Heiter, Gert Smolka
Interactive Theorem proving (ITP 2018), Oxford


Login to edit


Legal notice, Privacy policy