Pierre-Loïc Garoche
About
News
Publications
Projects
Tools
Collaborators
Talks
Teaching
Internships
Contact
Misc
Paper Accepted at EMSOFT’23
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation, with L. Brun, C. Garion, and X. Thirioux, accepted at EMSOFT’23.
Published
June 30, 2023