Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

Stephen W. Gilroy Michael D. Harrison Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers 3941 2006 3-540-34145-5 DSV-IS Lecture Notes in Computer Science Springer db/conf/dsvis/dsvis2005.html