DSV-IS:

10th Int'l Workshop on the Design, Specific. and Verific. of Interactive Systems (DSV-IS 2003)

June 4, 2003 - June 6, 2003, Madeira Island, Portugal

http://math.uma.pt/dsvis2003/

Deadlines

• March 9, 2003
  Paper

Calls

• Call for Papers