Дедуктивная верификация программ на Pythonкурсовая работа (Магистр)