A Deep Embedding of Z_C in Isabelle/HOL (2001)

by Norbert Völker
Citations:1 - 1 self

Document Versions

A Deep Embedding of Z_C in Isabelle/HOL –Norbert Völker — 2001