Languages
Gilroy, Stephen W.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
by:
DSVIS 2005 ((2005); Gilroy, Stephen W.; Harrison, Michael D. (1949-)
(Language materials, printed)
Subjects