О верификации простых программ со сложным поведением
Anatoly Shalyto·22 Mar at 2:46 pm
Исходный адрес этой публикации: https://is.ifmo.ru/works/2013/ulyantsev-shalyto-verification.pdf, что свидетельствует о том, что она была опубликована в 2013 г.