Samuel Gruetter is an author at Université de Strasbourg specializing in system software, formal verification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware Verification
Publications per year
2018–2023
3
3
Omnisemantics: Smooth Handling of Nondeterminism
Arthur Charguéraud, Adam Chlipala, Andres Erbsen et al. · ACM Transactions on Programming Languages and Systems · 2023 · 11 citations · Full text
Rows per page
1–3 of 3