3
Publications
1.4K
Citations
3
H-Index
1988
Active since
Affiliations
Weizmann Institute of Science(Current)
H. Lachover is an author at Weizmann Institute of Science specializing in systems engineering, computer science, and software analysis.
Top concepts
AutomationEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
1988–2003
3
3
STATEMATE: a working environment for the development of complex reactive systems
David Harel, H. Lachover, A. Naamad et al. · 2003 · 36 citations
Rows per page
1–3 of 3