Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers Doherty Gavin Heftet / 2007 / Engelsk
