@inproceedings{P113.026, author={Verborgh, Ruben and Steiner, Thomas and Mannens, Erik and Van de Walle, Rik and Gabarro Vallés, Joaquim}, title={Proof-based automatic Web API composition and integration}, booktitle={International conference on Advanced IT, Engineering and Management, Abstracts}, year={2013}, pages={181-182}, address={Seoul, Korea}, }