Jan Gulliksen (auth.)

{PDF} Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers Jan Gulliksen (auth.), Gavin Doherty, Ann Blandford (eds.)