Book Review: Formal methods in human–computer interaction. Edited by Philippe Palanque and Fabio Paterno. Published by Springer Verlag, Heidelberg, Germany, 1998. ISBN: 3-540-76158-6, 376 pages. Price: U.K. £29.50, Germany DM 89.00, Soft Cover.

✍ Scribed by Harold Thimbleby

• Publisher: John Wiley and Sons
• Year: 1998
• Tongue: English
• Weight: 22 KB
• Volume: 8
• Category: Article
• ISSN: 0960-0833
• DOI: 10.1002/(sici)1099-1689(199806)8:2<103::aid-stvr158>3.0.co;2-#