Pandey, Sheetanshu L.
Pandey, Sheetanshu L., 1972-
VIAF ID: 55932634 ( Personal )
Permalink: http://viaf.org/viaf/55932634
Preferred Forms
-
- 100 1 _ ‡a Pandey, Sheetanshu L.
- 100 1 0 ‡a Pandey, Sheetanshu L., ‡d 1972-
Works
Title | Sources |
---|---|
Formal semantics and proof techniques for optimizing VHDL models |