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