Eva Darulova, Viktor Kuncak, Rupak Majumdar, and Indranil Saha. Synthesis of fixed-point programs. In Embedded Software (EMSOFT), 2013.

bib ] Back