|
1. |
|
Formal Methods in Human-Computer Interaction
Philippe Palanque, Fabio Paterno
E-bok. Springer London, 2012.
|
|
2. |
|
Interactive Systems. Design, Specification, and Verification
Philippe Palanque, Fabio Paterno
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2001.
|
|
3. |
|
Interactive Systems. Design, Specification, and Verification
Philippe Palanque, Fabio Paterno
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
4. |
|
Formal Methods in Human-Computer Interaction
Philippe Palanque, Fabio Paterno
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1997.
|
|
|
|