J.W. Dijkstra is an author at University of Twente specializing in engineering, formal specification, and automated reasoning.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware SystemsSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
1991–1991
1
1
Rows per page
1–1 of 1