Johnni Winther is an author at Aarhus University specializing in formal methods, program analysis, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSecurityCompilersManagementData ScienceData Security
Publications per year
2011–2012
2
2
Johnni Winther · 2011 · 11 citations
Márcio Ribeiro, Társis Tolêdo, Johnni Winther et al. · 2012 · 10 citations
Rows per page
1–2 of 2