Expand icon Search icon File icon file Download

CSM-344 - Two Semantic Embeddings of Z Schemas in Isabelle/HOL

Völker, Norbert (2001) CSM-344 - Two Semantic Embeddings of Z Schemas in Isabelle/HOL. Technical Report. CSM-344, University of Essex, Colchester.



Abstract

Available files

Filename: csm-344.pdf

Statistics

Downloads

downloads and page views since this item was published

View detailed statistics