Interactive Systems. Design, Specification, and Verification

10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
Author(s): Joaquim Jorge,Nuno Jardim Nunes,Joao Falcao e Cunha
Read reviews
Loading Puzzle...
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?