Books of Philippe Palanque (eds.)

Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Published on: 2008
Unordered UI/UX English

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS …

Interactive Systems Design Specification Verification

Page of