Expand icon Search icon File icon file Download

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Monograph

Monograph

Völker, Norbert (2001) CSM-344 - Two Semantic Embeddings of Z Schemas in Isabelle/HOL. Technical Report. CSM-344, 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.

This list was generated on Thu Apr 17 09:37:49 2025 BST.