"Initial steps towards assessing the usability of a verification tool."

Mansur Khazeev, Victor Rivera, Manuel Mazzara (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics