Normal view
MARC view
Computer Systems—Verification (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Clarke, E.M. (Ed.) 394, Handbook of Model Checking, 2018