FA Sign in

Discover references

Philippe Palanque (eds.)

Books

1 results

Cover of Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

English Unordered

Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

Ann Blandford,Paul Curzon,Joanne Hyde (auth.),T. C. Nicholas Graham,Philippe Palanque (eds.)

2008 View book