Interactive Systems Design Specification and Verification 8th Int

Interactive Systems: Design, Specification, and Verification: 8th International

Graham - Interactive Systems Design Specification and Verification - X555z

Gilroy - Interactive Systems. Design Specification and Verification - X555z

Doherty - Interactive Systems. Design Specification and Verification - X555z

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

Bodart - Design Specification and Verification of Interactive Systems - X555z

Jorge - Interactive Systems. Design Specification and Verification - X555z