Reading: Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science, 5136) full version

You are about to access our book library "Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science, 5136) full version" .