1
Publications
58
Citations
1
H-Index
1992
Active since
Affiliations
Michigan Technological University(Current)
B.A. Zimmerman is an author at Michigan Technological University specializing in computational complexity, automated reasoning, and formal methods.
Top concepts
CompilersSemanticsAlgorithmsEngineeringOptimizationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware Analysis
Publications per year
1992–1992
1
1
Rows per page
1–1 of 1