1
Publications
235
Citations
1
H-Index
1965
Active since
Daniel Hirschberg is an author specializing in formal verification, formal logic, and engineering.
Top concepts
EngineeringFormal LogicFormal MethodsComputer ScienceLogic ProgrammingSoftware AnalysisAutomated ReasoningFormal VerificationProgramming Languages
Publications per year
1965–1965
1
1
Rows per page
1–1 of 1