Programming Systems Lab: Publications by Jan-Oliver Kaiser

Saarland University Computer Science

Select author:

2013

A Constructive Theory of Regular Languages in Coq   (pdf)
Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
Certified Programs and Proofs, Third International Conference (CPP 2013)


Login to edit


Webmaster, Mon May 30 13:48:30 2016