![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Interactive Systems. Design, Specification, and Verification Volume 3941 ||
Gilroy, Stephen W., Harrison, Michael D.Volume:
10.1007/11
Year:
2006
Language:
english
DOI:
10.1007/11752707
File:
PDF, 6.05 MB
english, 2006