Normal view
MARC view
- Computer programs
Computer programs Correctness (Topical Term)
Machine generated authority record.
Work cat.: (OSt)38929: Huizinga, Dorota. 109264, Automated defect prevention, c2007.