Normal view
MARC view
Computer programs--Verification (Topical Term)
Machine generated authority record.
Work cat.: (OSt)6389: Bradley, Aaron R. 6367, The Calculus of computation : , 2007