Formal Analysis of Services Compatibility.

Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu

Browse the full COMPSAC paper archive.