Judy A. Townley is an author at Harvard University specializing in formal methods, computer science, and software analysis.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignSoftware Maintenance
Publications per year
1976–1981
4
4
Symbolic evaluation of programs
Thomas E. Cheatham, Judy A. Townley · 1976 · 22 citations
Software Maintenance, Software Development Practice, Engineering +25
Rows per page
1–4 of 4