Normal view
MARC view
- Computer Aided Verification.
Computer Aided Verification. (Topical Term)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Emerson E. Allen. 24230, Computer aided verification :, c2000.