| emsoft | participants

Paul Jeanmaire

EMSOFT 2021: 21st International Conference on Embedded Software

Verified Lustre Normalization with Node Subsampling

Timothy Bourke, Paul Jeanmaire, Basile Pesin, and Marc Pouzet