DMCA

Synthesis of Fixed-Point Programs ABSTRACT

by Eva Darulova , Rupak Majumdar , Viktor Kuncak