DMCA

Machine Words in Isabelle/HOL (2011)

by Jeremy Dawson , Paul Graunke , Brian Huffman , Gerwin Klein , John Matthews