David Wragg is an author at Imperial Valley College specializing in formal methods, system software, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware Engineering
Publications per year
1998–2003
3
3
What is Java binary compatibility?
Sophia Drossopoulou, David Wragg, Susan Eisenbach · 1998 · 51 citations · Full text
What is Java binary compatibility?
Sophia Drossopoulou, David Wragg, Susan Eisenbach · ACM SIGPLAN Notices · 1998 · 14 citations · Full text
Rows per page
1–3 of 3