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