Völker, Norbert (2001) CSM-343 A Deep Embedding of Zc in Isabelle/HOL. Technical Report. CSM-343, University of Essex, Colchester.
Völker, Norbert (2001) CSM-343 A Deep Embedding of Zc in Isabelle/HOL. Technical Report. CSM-343, University of Essex, Colchester.
Völker, Norbert (2001) CSM-343 A Deep Embedding of Zc in Isabelle/HOL. Technical Report. CSM-343, University of Essex, Colchester.
Abstract
| 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 |
Available files
Filename: csm-343.pdf
Statistics
Downloads
downloads and
page views since this item was published