Normal view
MARC view
Programming approach to formal methods(Topical Term)
Machine generated authority record
Work cat.: (NU)2321: Casey, Chris 3429, A programming approach to formal methods / Chris Casey.