Sound Approximation of Programs with Elementary Functions.

Eva Darulova, Anastasia Volkova

Browse the full CAV paper archive.