- search hit 1 of 1
A Verification of Extensible Record Types
Document Type: | Conference Object |
---|---|
Language: | English |
Author: | Andreas V. Hense, Gert Smolka |
Parent Title (English): | Shi (Ed.): Automated Reasoning. Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 |
First Page: | 137 |
Last Page: | 164 |
ISBN: | 0-444-89876-X |
Publication year: | 1992 |
Dewey Decimal Classification (DDC): | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Entry in this database: | 2016/08/11 |