Normal view
MARC view
Computer software (Topical Term)
Machine generated authority record.
Work cat.: (MY-SjTCS)21942: Systems and software verification :, c2001