acm sigbed
|
emsoft
|
participants
Pierre-loic Garoche
EMSOFT 2023: 23rd International Conference on Embedded Software
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation
Lélio Brun
,
Christophe Garion
,
Pierre-loic Garoche
, and
Xavier Thirioux
10.1145/3609393
https://hal.science/hal-04201875/document