Opening book details…
About this scholarly article
Interactive Systems. Design, Specification, and Verification Volume 3941 by Gilroy, Stephen W.; Harrison, Michael D. is a scholarly article available to read on EtoBox.
- Author
- Gilroy, Stephen W.; Harrison, Michael D.
- Publisher
- Springer Berlin Heidelberg
- Published
- 2006
- Language
- EN
More by Gilroy, Stephen W.; Harrison, Michael D.
Browse all works by Gilroy, Stephen W.; Harrison, Michael D.