Mansur Khazeev, Víctor Rivera, Manuel Mazzara, Leonard Johard. Initial Steps Towards Assessing the Usability of a Verification Tool. In Paolo Ciancarini, Stanislav Litvinov, Angelo Messina, Alberto Sillitti, Giancarlo Succi, editors, Proceedings of 5th International Conference in Software Engineering for Defence Applications - SEDA 2016, Rome, Italy, May 10th, 2016. Volume 717 of Advances in Intelligent Systems and Computing, pages 31-40, Springer, 2016. [doi]