Towards a Structure Preserving Encoding of Z in HOL (1986)

Cached

Download Links

by Kolyang , T. Santen , B. Wolff , Rudower Chaussee , Informationstechnik Gmbh , D- Sankt Augustin