Concepedia
1
Publications
24
Citations
H-Index
2015
Active since
Frédéric Bour is an author specializing in formal methods, program analysis, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisProgramming Languages
Publications per year
2015–2015
Modular implicits
Leo White, Frédéric Bour, Jeremy Yallop · Electronic Proceedings in Theoretical Computer Science · 2015 · 24 citations · Full text
Engineering, Generic Programming, Program Analysis +10
Rows per page
1–1 of 1