A Component-Based Approach Applied to a Netscape-Like Browser

Formal Methods in Human-Computer Interaction ◽

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

1998 ◽

pp. 315-346

Author(s):

Philippe Palanque ◽

Fabio Paternò

Download Full-text