Specifying History and Backtracking Mechanisms

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_1 ◽

1998 ◽

pp. 1-23

Author(s):

Philippe Palanque ◽

Fabio Paternò

Download Full-text