1
Publications
782
Citations
1
H-Index
2004
Active since
Affiliations
Al Gallo is an author at National Institute of Standards and Technology specializing in program analysis, verification, and software maintenance.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1