DSV-IS:

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

June 12, 2002 - June 14, 2002, Rostock, Germany

http://www.dsvis2002.org/

Deadlines

• Feb. 25, 2002
  Paper

Calls

• Call for Papers