Interactive Systems Design - Design, Specification, and Verification : 10th International Workshop, Dsv-Is 2003 Funchal, Madeira Island, Portugal June

by Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha Paperback 2003