Track Report of Formal Verification of Service Based Systems (FVSBS 2014).

Mohamed Graiet, Zied Jaoua, Kais Klai

Browse the full WETICE paper archive.