TITLE     : Applications of Formal Methods for Validating an Interaction Policy
AUTHOR(S) : Fantechi A, Gnesi S, Semini L
TYPE      : Other
YEAR      : 2004
CODE      : 160657

*** DO NOT EDIT THIS FILE ***