Expand icon Search icon File icon file Download

CSM-343 A Deep Embedding of Zc in Isabelle/HOL

Völker, Norbert (2001) CSM-343 A Deep Embedding of Zc in Isabelle/HOL. Technical Report. CSM-343, University of Essex, Colchester.



Abstract

Available files

Filename: csm-343.pdf

Statistics

Downloads

downloads and page views since this item was published

View detailed statistics