Interactive Systems. Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
by:
Joaquim Jorge (author)
Format: paperback
ISBN:
9783540201595 (3540201599)
Publish date: October 9th 2003
Publisher: Springer
Pages no: 427
Edition language: English