RUS  ENG
Full version
PEOPLE

Khazeev M. 

Publications in Math-Net.Ru

  1. Usability of AutoProof: a case study of software verification

    Proceedings of ISP RAS, 28:2 (2016),  111–126

© Steklov Math. Inst. of RAS, 2024