In Proceedings of the 15th International Workshop on the Design, Verification and Specification of Interactive Systems DSV-IS 2008

Website
Year
2008
Period
July 16-18
Place
Kingston, Canada
ISBN
DOI
Volume
Copyright info

Description

Articles