TY  - RPRT
TI  - Inferring Concise Specifications of APIs
AU  - John L. Singleton
AU  - Gary T. Leavens
AU  - Hridesh Rajan
AU  - David R. Cok
PY  - 2019
DO  - 10.13140/rg.2.2.29027.40480
UR  - https://arxiv.org/abs/1905.06847
ID  - 1905.06847
ER  -