Ivo Van Horebeek is an author at KU Leuven specializing in systems engineering, programming languages, and formal specification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware SystemsSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
1988–1988
1
1
Rows per page
1–1 of 1