Data Refinement: Model-Oriented Proof Methods and their Comparison
No ratings yet
Jan 28, 1999
·
English
·
Hardcover
(436 pages)