Casey, Chris

A programming approach to formal methods / Chris Casey. - Mcgraw Hill

007707968X


Programming approach to formal methods

005.3 CAS