Programming Systems Lab: Publications by Maximilian Wuttke

Saarland University Computer Science

Select author:

2019

Verified Programming of Turing Machines in Coq   (pdf)
Yannick Forster, Fabian Kunze, Maximilian Wuttke
Technical Report, submitted for review


Login to edit


Legal notice, Privacy policy