Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha, editors, Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Volume 2844 of Lecture Notes in Computer Science, Springer, 2003.

Conference: DSVIS2003

This author has not been identified. Look up 'Joaquim A. Jorge' in GoogleThis author has not been identified. Look up 'Nuno Jardim Nunes' in GoogleThis author has not been identified. Look up 'João Falcão e Cunha' in Google

runs on WebDSL