Interactive Systems Design, Specification, and Verification: 13th International Workshop, Dsvis 2006 Dublin, Ireland, July 26-28, 2006 Revised Papers
Format: ebook
ISBN:
9781280865053 (1280865059)
Publish date: January 1st 2007
Publisher: Springer
Pages no: 280
Edition language: English