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