%0 Conference Paper
%B Workshop on Integrated Formal Development Environment (F-IDE 2016), co-located with FM2016
%D 2016
%T Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web
%A Fayollas, Camille
%A Martinie, Célia
%A Philippe Palanque
%A Paolo Masci
%A Harrison, Michael D
%A Campos, José C
%A Silva, Saulo R
%C Cyprus
%I EPTCS
%> https://haslab.uminho.pt/sites/default/files/saulosilva/files/f-ide2016-camera-ready.pdf