TY - Front. Comput. Sci. A1 - Van Chan NGO, Jean-Pierre TALPIN, Thierry GAUTIER, Paul Le GUERNIC, Loïc BESNARD T1 - Formal verification of synchronous data-flow program transformations toward certified compilers Y1 - 2013-10-01 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 598 EP - 616 VL - 7 IS - 5 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-013-3910-8 ER -