1
Publications
31
Citations
1
H-Index
2006
Active since
Affiliations
Eindhoven University of Technology(Current)
Muck van Weerdenburg is an author at Eindhoven University of Technology specializing in computer science, software analysis, and software design.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignSystems BiologyComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2006–2006
1
1
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg et al. · Electronic Notes in Theoretical Computer Science · 2006 · 31 citations · Full text
Rows per page
1–1 of 1