Reasoning About Interactive Systems in Dynamic Situations of Use - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Judy Bowen, Annika Hinze. Reasoning About Interactive Systems in Dynamic Situations of Use. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 319-341, Springer International Publishing, 2017. [doi]

This author has not been identified. Look up 'Judy Bowen' in GoogleThis author has not been identified. Look up 'Annika Hinze' in Google

runs on WebDSL