New Twitter Mentions for ilyasergey

@ilyasergey was mentioned in Podlodka #268 – Формальные методы и верификация программ