| emsoft | participants

Viktor Kuncak

EMSOFT 2013: 13th International Conference on Embedded Software

Synthesis of Fixed-Point Programs

Eva Darulova, Viktor Kuncak, Rupak Majumdar, and Indranil Saha