Для цитирования:
СТАРОЛЕТОВ С.М., КОНДРАТЬЕВ Д.А., ГАРАНИНА Н.О., ШОШМИНА И.В. Соревнования по формальной верификации VeHa-2023: опыт проведения. Труды Института системного программирования РАН. 2024;36(2):141-168. https://doi.org/10.15514/ISPRAS-2024-36(2)-11
For citation:
STAROLETOV S.M., KONDRATYEV D.A., GARANINA N.O., SHOSHMINA I.V. VeHa-2023 Formal Verification Contest: The Experience. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2024;36(2):141-168. (In Russ.) https://doi.org/10.15514/ISPRAS-2024-36(2)-11
Послать статью по эл. почте 