Login / Signup
Christoph-Simon Senjak
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Digital Libraries
Trade Off
Mobile Robot
Implementation Details
Top Venues
CoRR
FM
</>
Publications
</>
Christoph-Simon Senjak
,
Martin Hofmann
An Implementation of Deflate in Coq.
FM
(2016)
Christoph-Simon Senjak
,
Martin Hofmann
An implementation of Deflate in Coq.
CoRR
(2016)