Dániel Drienyovszky is an author at Eötvös Loránd University specializing in formal verification, software engineering, and software maintenance.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2010–2010
1
1
Quickchecking refactoring tools
Dániel Drienyovszky, Dániel Horpácsi, Simon Thompson · 2010 · 19 citations
Rows per page
1–1 of 1