1
Publications
152
Citations
1
H-Index
1962
Active since
Affiliations
D. N. Freeman is an author at University of Illinois Urbana-Champaign specializing in computer engineering, asynchronous circuits, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsTest AutomationComputer ScienceProgram AnalysisSoftware TestingBuilt-in Self-testDesign For TestingFormal Verification
Publications per year
1962–1962
1
1
Rows per page
1–1 of 1