DDesign, Specification, and Verification of Interactive SysteDesign, Specification, and Verification of Interactive Systemsde Fabio PaternoEdiciones (1)Design, Specification, and Verification of Interactive Systems (1995)Springer-Verlag · ISBN 9780387594804Más obras de Fabio PaternoMigratory Interactive Applications for Ubiquitous Environments HumanComputer InteractionMModel-Based Design and Evaluation of Interactive Application