TY  - RPRT
TI  - An implementation of Deflate in Coq
AU  - Christoph-Simon Senjak
AU  - Martin Hofmann
PY  - 2016
UR  - https://arxiv.org/abs/1609.01220
ID  - 1609.01220
ER  -