TY  - RPRT
TI  - The Pragmatic Proof: Hypermedia API Composition and Execution
AU  - Ruben Verborgh
AU  - Dörthe Arndt
AU  - Sofie Van Hoecke
AU  - Jos De Roo
AU  - Giovanni Mels
AU  - Thomas Steiner
AU  - Joaquim Gabarro
PY  - 2015
DO  - 10.1017/s1471068416000016
UR  - https://arxiv.org/abs/1512.07780
ID  - 1512.07780
ER  -