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

Gavin J. Doherty, Ann Blandford, editors, Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. Volume 4323 of Lecture Notes in Computer Science, Springer, 2007.

Conference: DSVIS2007

Editors

Gavin J. Doherty

This author has not been identified. Look up 'Gavin J. Doherty' in Google

Ann Blandford

This author has not been identified. Look up 'Ann Blandford' in Google