Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers

Chris Johnson Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers DSV-IS Lecture Notes in Computer Science 2220 Springer 2001 3-540-42807-0 db/conf/dsvis/dsvis2001.html