Title: Interactive Systems. Design, Specification, and Verification
Subjects: Logic design, Information storage and retrieval systems, Computer science, Software engineering, Multimedia systems, Interactive computer systems, Congresses