Normal view
MARC view
Computer programs Verification Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): VMCAI 2003 (2003 : New York, N.Y.) 17231, Verification, model checking, and abstract interpretation :, ©2003.