"Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems."

Maya Souilah Benabdelhafid, Mahmoud Boufaïda (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics