Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
by Willem-Paul de Roever, Kai Engelhardt
ISBN 13: 9780521103503
Format: Paperback (436 pages) Publisher: Cambridge University Press Published: 18 Dec 2008
Save for later