@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},
}