An Isabelle/HOL Formalization of the Textbook Proof of Huffman’s Algorithm (2009)

Cached

Download Links

by Jasmin Christian Blanchette
Citations:1 - 1 self