Constructing Correct Software [E-Book] / by John Cooke.
Cooke, John.
Second Edition.
London : Springer-Verlag London Limited, 2005.
online resource
9781846280795
Full Text
Description not available.