Stephen W. Gilroy

1 published title

Interactive systems : design, specification, and verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers

(Contributor)

1 edition