A Programming approach to formal methods

Main Author: Casey, Chris.
Published: England, London: McGraw-Hill Book Co, c1994..
Physical Description:p.: ill.; cm..
ISBN:007707968X