English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Buch
Towards a structure preserving encoding of Z in HOL
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1996
Book
Title
Towards a structure preserving encoding of Z in HOL
Author(s)
Kolyang
Santen, T.
Wolff, B.
Publisher
GMD Forschungszentrum Informationstechnik
Publishing Place
Sankt Augustin
Language
English
FIRST
