Development of a WWW Browser Using TADEUS

Formal Methods in Human-Computer Interaction ◽

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

1998 ◽

pp. 195-223

Author(s):

Philippe Palanque ◽

Fabio Paternò

Download Full-text