Umamageswaran, Kothanda, 1974-
VIAF ID: 43620232 ( Personal )
Permalink: http://viaf.org/viaf/43620232
Preferred Forms
Works
Title | Sources |
---|---|
Formal semantics and proof techniques for optimizing VHDL models |
Title | Sources |
---|---|
Formal semantics and proof techniques for optimizing VHDL models |