Arjan van IJzendoorn is an author at Utrecht University specializing in automated reasoning, software engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningSoftware EngineeringCompilersData ScienceSemantic WebSoftware Design
Publications per year
2003–2005
2
2
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn · 2003 · 84 citations
Rows per page
1–2 of 2