1
Publications
58
Citations
1
H-Index
2021
Active since
Affiliations
David Bühler is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in system software, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2021–2021
1
1
The dogged pursuit of bug-free C programs
Patrick Baudin, François Bobot, David Bühler et al. · Communications of the ACM · 2021 · 58 citations · Full text
Rows per page
1–1 of 1