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