TITLE     : Dynamic software architectures verification using DynAlloy
AUTHOR(S) : Bucchiarone A., Galeotti J.
TYPE      : Journal article
YEAR      : 2008
CODE      : 68444

*** DO NOT EDIT THIS FILE ***