Walter, Dennis
VIAF ID: 279147965839784081712 ( Personal )
Permalink: http://viaf.org/viaf/279147965839784081712
Preferred Forms
- 100 0 _ ‡a Walter Dennis
- 100 1 _ ‡a Walter, Dennis
-
- 100 1 _ ‡a Walter, Dennis
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
A deep-submicron CMOS flow for General-Purpose Timing-Detection Insertion | |
formal verification environment for use in the certification of safety-related C programs |