External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Initial Steps Towards Assessing the Usability of a Verification Tool

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]

Authors

Mansur Khazeev

This author has not been identified. Look up 'Mansur Khazeev' in Google

Víctor Rivera

This author has not been identified. Look up 'Víctor Rivera' in Google

Manuel Mazzara

This author has not been identified. It may be one of the following persons: Look up 'Manuel Mazzara' in Google

Leonard Johard

This author has not been identified. Look up 'Leonard Johard' in Google
runs on