State of the Art on Formal Methods for Interactive Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Raquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix. State of the Art on Formal Methods for Interactive Systems. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 3-55, Springer International Publishing, 2017. [doi]

This author has not been identified. Look up 'Raquel Oliveira Prates' in GoogleThis author has not been identified. Look up 'Philippe A. Palanque' in GoogleThis author has not been identified. Look up 'Benjamin Weyers' in GoogleThis author has not been identified. Look up 'Judy Bowen' in GoogleThis author has not been identified. Look up 'Alan J. Dix' in Google

runs on WebDSL