TITLE     : Design, specification and verification of interactive systems 2000
AUTHOR(S) : Palanque P., Paternò F.
TYPE      : Book
YEAR      : 2000
CODE      : 406507

*** DO NOT EDIT THIS FILE ***