About Philippe Palanque Books by Philippe Palanque Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings by (author) T.C. Nicholas Graham edited by Philippe Palanque