William A. Ballance is an author at East Carolina University specializing in computer engineering, program analysis, and formal methods.
Top concepts
MedicinePediatricsEngineeringNeonatologyPathogenesisVerificationFormal MethodsSoftware DesignComputer ScienceGastroenterology
Publications per year
1990–2012
3
3
Rows per page
1–3 of 3