Advanced search
1 file | 509.37 KB Add to list

Proof-based automatic Web API composition and integration

Author
Organization
Keywords
Service composition, Web API composition

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 509.37 KB

Citation

Please use this url to cite or link to this publication:

MLA
Verborgh, Ruben, Thomas Steiner, Erik Mannens, et al. “Proof-based Automatic Web API Composition and Integration.” International Conference on Advanced IT, Engineering and Management, Abstracts. 2013. 181–182. Print.
APA
Verborgh, R., Steiner, T., Mannens, E., Van de Walle, R., & Gabarro Vallés, J. (2013). Proof-based automatic Web API composition and integration. International conference on Advanced IT, Engineering and Management, Abstracts (pp. 181–182). Presented at the International conference on Advanced IT, Engineering and Management.
Chicago author-date
Verborgh, Ruben, Thomas Steiner, Erik Mannens, Rik Van de Walle, and Joaquim Gabarro Vallés. 2013. “Proof-based Automatic Web API Composition and Integration.” In International Conference on Advanced IT, Engineering and Management, Abstracts, 181–182.
Chicago author-date (all authors)
Verborgh, Ruben, Thomas Steiner, Erik Mannens, Rik Van de Walle, and Joaquim Gabarro Vallés. 2013. “Proof-based Automatic Web API Composition and Integration.” In International Conference on Advanced IT, Engineering and Management, Abstracts, 181–182.
Vancouver
1.
Verborgh R, Steiner T, Mannens E, Van de Walle R, Gabarro Vallés J. Proof-based automatic Web API composition and integration. International conference on Advanced IT, Engineering and Management, Abstracts. 2013. p. 181–2.
IEEE
[1]
R. Verborgh, T. Steiner, E. Mannens, R. Van de Walle, and J. Gabarro Vallés, “Proof-based automatic Web API composition and integration,” in International conference on Advanced IT, Engineering and Management, Abstracts, Seoul, Korea, 2013, pp. 181–182.
@inproceedings{3157334,
  author       = {Verborgh, Ruben and Steiner, Thomas and Mannens, Erik and Van de Walle, Rik and Gabarro Vallés, Joaquim},
  booktitle    = {International conference on Advanced IT, Engineering and Management, Abstracts},
  keywords     = {Service composition,Web API composition},
  language     = {eng},
  location     = {Seoul, Korea},
  pages        = {181--182},
  title        = {Proof-based automatic Web API composition and integration},
  year         = {2013},
}