Wonyeol Lee 0001, Rahul Sharma 0001, Alex Aiken
On automatically proving the correctness of math.h implementations
POPL, 2018.
@article{POPL-2018-Lee0A,
author = "Wonyeol Lee 0001 and Rahul Sharma 0001 and Alex Aiken",
doi = "10.1145/3158135",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "32",
publisher = "{ACM}",
title = "{On automatically proving the correctness of math.h implementations}",
volume = 2,
year = 2018,
}