Declarative Web services composition using proofs
Baccar, Sana, Rouached, Mohsen, Verborgh, Ruben, Abid, MohamedLanguage:
english
Journal:
Service Oriented Computing and Applications
DOI:
10.1007/s11761-018-0234-4
Date:
March, 2018
File:
PDF, 1.77 MB
english, 2018