Duke - Design Specification and Verification of Interactive Systems ' - X555z

Bodart - Design Specification and Verification of Interactive Systems - X555z

Interactive Systems. Design, Specification, and Verification: 13th International

Interactive Systems - Design, Specification and Verification : 8t

Harrison - Design Specification and Verification of Interactive Syste - X555z

Design, Specification and Verification of Interactive Systems '96: Proceedings

Markopoulos - Design Specification and Verification of Interactive Sy - X555z

Design, Specification and Verification of Interactive Systems `98 : Proceedin...