DSV-IS

International Workshop on Design, Specification, and Verification of Interactive Systems

  1. 2005

    DSV-IS 2005

    • 13-15 July
    • Newcastle upon Tyne, United Kingdom
  2. 2003

    DSV-IS 2003

    • 11-13 June
    • Funchal, Madeira, Portugal