An Implementation of Deflate in Coq.

Christoph-Simon Senjak Martin Hofmann

Published in: FM (2016)

Keyphrases

real world
digital libraries
implementation details
data sets
feature selection
knowledge base
website
mobile robot
efficient implementation