Gavin Doherty

1 published title

Interactive systems : design, specification, and verification ; 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 ; revised papers

(Contributor)

1 edition