Interactive Systems. Design, Specification, and Verification2003
10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
by Joaquim Jorge
No description found.
1 edition at OpenLibrary
No description found.