Options
Title
Interactive systems. Design, specification, and verification
Title Supplement
10th international workshop. Revised papers. DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11 - 13, 2003
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2003
Series
Lecture Notes in Computer Science; 2844
ISBN
3-540-20159-9