3
Publications
56
Citations
3
H-Index
1998
Active since
Affiliations
R. Daniel Resler is an author at Virginia Commonwealth University specializing in formal methods, program analysis, and system software.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware Engineering
Publications per year
1998–1999
3
3
R. Daniel Resler, Dean M. Deaver · 1998 · 32 citations · Full text
J.M. Boyle, R. Daniel Resler, Victor Winter · Computer · 1999 · 13 citations
R. Daniel Resler, Dean M. Deaver · ACM SIGCSE Bulletin · 1998 · 11 citations
Rows per page
1–3 of 3