TITLE     : A logical verification methodology for service-oriented computing
AUTHOR(S) : Fantechi A, Gnesi S, Lapadula A, Mazzanti F, Pugliese R, Tiezzi F
TYPE      : Journal article
YEAR      : 2012
CODE      : 221543

*** DO NOT EDIT THIS FILE ***