English
Unordered
Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers
Timothy N. Wright,T. C. Nicholas Graham,Tore Urnes (auth.),Philippe Palanque,Fabio Paternò (eds.)
2001
View book