Engineering for Human-Computer Interaction
Springer US
Chapter title |
Mini-workshop: how to make formal methods useful
|
---|---|
Chapter number | 21 |
Book title |
Engineering for Human-Computer Interaction
|
Published by |
Springer, Boston, MA, January 1996
|
DOI | 10.1007/978-0-387-34907-7_21 |
Book ISBNs |
978-1-5041-2935-0, 978-0-387-34907-7
|
Authors |
Chr. Gram, G. Abowd |