Research Repository

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.


Download (168kB) | Preview
Item Type: Monograph (Technical Report)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health > Computer Science and Electronic Engineering, School of
Depositing User: Carla Watkins
Date Deposited: 11 Aug 2015 10:48
Last Modified: 11 Aug 2015 10:48

Actions (login required)

View Item View Item