van Chan Ngo, Loic Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Formal Verification of Compiler Transformations on Polychronous Equations.
International Conference on Integrated Formal Methods, CNR/ISTI Italy, Jun 2012, Pisa, Italy.
⟨hal-00730393⟩