Human-Computer Interaction
Springer
Chapter title |
Verification of an Interactive Software by Analysis of its Formal Specification
|
---|---|
Chapter number | 32 |
Book title |
Human—Computer Interaction
|
Published by |
Springer, Boston, MA, January 1995
|
DOI | 10.1007/978-1-5041-2896-4_32 |
Book ISBNs |
978-1-5041-2898-8, 978-1-5041-2896-4
|
Authors |
Ph Palanque, R. Bastide, Palanque, Ph, Bastide, R. |
Country | Count | As % |
---|---|---|
France | 1 | 33% |
Unknown | 2 | 67% |
Readers by professional status | Count | As % |
---|---|---|
Professor | 2 | 67% |
Student > Doctoral Student | 1 | 33% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 3 | 100% |