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