Normal view
MARC view
- Computer software
Computer software Verification (Topical Term)
Machine generated authority record.
Work cat.: (ByWater)0: Drechsler, Rolf 29049, Formal system verification :, 2018.