Для цитирования:

Хазеев М., Ривера В., Маццара М., Чичигин А. Применимость AutoProof: учебный пример верификации ПО. Труды Института системного программирования РАН. 2016;28(2):111-126. https://doi.org/10.15514/ISPRAS-2016-28(2)-7

For citation:

Khazeev M., Rivera V., Mazzara M., Tchitchigin A. Usability of AutoProof: a case study of software verification. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(2):111-126. https://doi.org/10.15514/ISPRAS-2016-28(2)-7