Authors
Claus-Peter Wirth
Title
Positive/Negative-Conditional Equations: A Constructor-Based Framework for Specification and Inductive Theorem Proving
In
PhD thesis, ISBN 3-86064-551-X, Verlag Dr. Kovac, Hamburg, 1997,
Bibtex Entry
Copyright Owner
Verlag Dr. Kovac
Abstract
Format
.ps.gz
Size
.02 Mbytes