Robert Mandl is an author at Analogic (United States) specializing in computer engineering, formal verification, and parallel programming.
Top concepts
CompilersEngineeringVerificationFormal MethodsTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
1985–1985
1
1
Rows per page
1–1 of 1