Design, Specification and Verification of Interactive Systems
DSVIS'2005
Newcastle upon Tyne, England
July 13-15, 2005
Home
Committee
Submission
Dates
Programme
Registration
Venue
Programme
Details to be determined