Normal view
MARC view
- Computer programs
Computer programs Verification Congresses. (Topical Term)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Verification, model checking, and abstract interpretation :, c2006.