Mansur Khazeev

Identifiers

No identifiers captured yet.

Papers (4)

1. Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education cs.SE · 2019 · author #1
2. Teaching Programming and Design-by-Contract cs.SE · 2017 · author #4
3. Initial steps towards assessing the usability of a verification tool cs.SE · 2017 · author #1
4. Usability of AutoProof: a case study of software verification cs.SE · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Manuel Mazzara 4 shared papers
• Victor Rivera 3 shared papers
• Daniel de Carvalho 2 shared papers
• Adil Khan 1 shared papers
• Alexander Tchitchigin 1 shared papers
• Alexandr Naumchev 1 shared papers
• Hamna Aslam 1 shared papers
• JooYong Lee 1 shared papers
• Leonard Johard 1 shared papers
• Rasheed Hussain 1 shared papers
• Ruslan Mustafin 1 shared papers
• Sergey Masiagin 1 shared papers