%0 Conference Paper
%B Proceedings of the Third Workshop on Formal Integrated Development Environment
%D 2017
%T Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web
%A C. Fayollas
%A C. Martinie
%A P. Palanque
%A Paolo Masci
%A Michael Harrison
%A Campos, José C
%A Silva, Saulo R
%P 1-19
%R 10.4204/EPTCS.240.1
%S Electronic Proceedings in Theoretical Computer Science
%V 240
%X <p>n/a</p>
%Z <p>n/a</p>
%> https://haslab.uminho.pt/sites/default/files/jccampos/files/1701.08465.pdf