17
Publications
442
Citations
13
H-Index
1996
Active since
Affiliations
David Stotts is an author at University of North Carolina at Chapel Hill specializing in engineering, computer science, and software design.
Top concepts
EngineeringComputer ScienceSoftware DesignProgram AnalysisSoftware EngineeringFormal MethodsSystem SoftwareSoftware AnalysisFormal VerificationDesign
Publications per year
1996–2007
17
17
Rows per page
1–5 of 17