Walter A. C. A. J De Hoon is an author at Radboud University Nijmegen specializing in formal verification, computer engineering, and automated reasoning.
Top concepts
ManagementEngineeringOptimizationData ModelingFormal MethodsData ManagementComputer ScienceData IntegrationProgram AnalysisSoftware Analysis
Publications per year
1995–1995
1
1
Rows per page
1–1 of 1