Design, specification, and verification of interactive systems (workshop session).

Philippe A. Palanque, Fabio Patern

Browse the full ICSE paper archive.