Synthesis of fixed-point programs.

Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha

Browse the full EMSOFT paper archive.