Interactive Systems Design, Specification, and Verification - 13th International Workshop, DSVIS 2006 Dublin, Ireland, July 26-28, 2006 Revised Paper - Paperback - 2007

Constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006.
Year of publication: 2007
Pagination: 276 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Programming and Software Engineering