2
Publications
43
Citations
2
H-Index
1998
Active since
Affiliations
Dean M. Deaver is an author at Digital Wave (United States) specializing in system software, formal methods, and engineering.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
1998–1998
2
2
R. Daniel Resler, Dean M. Deaver · 1998 · 32 citations · Full text
R. Daniel Resler, Dean M. Deaver · ACM SIGCSE Bulletin · 1998 · 11 citations
Rows per page
1–2 of 2