Concepedia

Jonas Duregård

JD

Statistics

Publications

3

Citations

66

H-Index

3

Active since

2011

Affiliations

Chalmers University of Technology(Current)

University of Gothenburg

Jonas Duregård is an author at Chalmers University of Technology specializing in program analysis, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSyntaxGrammar

Publications per year

2011–2015

3

Publications

3

1–3 of 3