Interactive Systems: Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Format: paperback
ISBN:
9783540705680 (3540705686)
Publish date: August 6th 2008
Publisher: Springer
Pages no: 309
Edition language: English