A. Michael Berman is an author at Rowan University specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisFormal MethodsSystem SoftwareSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringApproximation Theory
Publications per year
1990–1997
3
3
Rows per page
1–3 of 3