%0 Book Section %1 books/sp/17/FayollasMPBFH17 %A Fayollas, Camille %A Martinie, Célia %A Palanque, Philippe A. %A Barboni, Eric %A Fahssi, Racim %A Hamon, Arnaud %B Handbook of Formal Methods in Human-Computer Interaction %D 2017 %E Weyers, Benjamin %E Bowen, Judy %E Dix, Alan J. %E Palanque, Philippe A. %I Springer International Publishing %K dblp %P 465-504 %T Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. %U http://dblp.uni-trier.de/db/books/collections/WBDP2017.html#FayollasMPBFH17 %@ 978-3-319-51838-1

@incollection{books/sp/17/FayollasMPBFH17, added-at = {2017-07-27T00:00:00.000+0200}, author = {Fayollas, Camille and Martinie, Célia and Palanque, Philippe A. and Barboni, Eric and Fahssi, Racim and Hamon, Arnaud}, biburl = {https://www.bibsonomy.org/bibtex/2f54faa2e141646bc673a3f609dc8ea10/dblp}, booktitle = {Handbook of Formal Methods in Human-Computer Interaction}, crossref = {books/sp/WDBP2017}, editor = {Weyers, Benjamin and Bowen, Judy and Dix, Alan J. and Palanque, Philippe A.}, ee = {https://doi.org/10.1007/978-3-319-51838-1_17}, interhash = {68dcb205b80bd2d3a33ffeb404e28694}, intrahash = {f54faa2e141646bc673a3f609dc8ea10}, isbn = {978-3-319-51838-1}, keywords = {dblp}, pages = {465-504}, publisher = {Springer International Publishing}, timestamp = {2020-06-03T11:39:15.000+0200}, title = {Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment.}, url = {http://dblp.uni-trier.de/db/books/collections/WBDP2017.html#FayollasMPBFH17}, year = 2017 }