Normal view
MARC view
Computer programs Verification (Topical Term)
Machine generated authority record.
Work cat.: (OSt)276855: Shrawan Kumar 8727, Scaling up property checking (R), 2019