Track Report for Formal Verification of Service Based Systems: FVSBS 2016.

Mohamed Graiet, Kais Klai

Browse the full WETICE paper archive.