Normal view
MARC view
Schubert, Tom (Personal Name)
Machine generated authority record.
Work cat.: (OSt)1853: Seligman, Erik 6430, Formal verification: an essential toolkit for modern VLSI design, 2015