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

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 Wed Nov 13 07:07:34 2024 GMT.