Programming Systems Lab: Publications by Maximilian Wuttke

Saarland University Computer Science

Select author:

2020

Verified Programming of Turing Machines in Coq   (pdf)
Yannick Forster, Fabian Kunze, Maximilian Wuttke
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20–21, 2020


Login to edit


Legal notice, Privacy policy