Collaborated with:
E.Darulova
Talks about:
elementari (1) function (1) approxim (1) program (1) sound (1)
Person: Anastasia Volkova
DBLP: Volkova:Anastasia
Contributed to:
Wrote 1 papers:
- CAV-2019-DarulovaV #approximate #source code
- Sound Approximation of Programs with Elementary Functions (ED, AV), pp. 174–183.