Podlodka #268 – Формальные методы и верификация программ by Podlodka Podcast published on 2022-05-17T08:23:25Z Users who reposted this track