Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon. Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 465-504, Springer International Publishing, 2017. [doi]
Abstract is missing.