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.

[img]
Preview
Text
csm-343.pdf

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
URI: http://repository.essex.ac.uk/id/eprint/14449

Actions (login required)

View Item View Item