Don't have Telegram yet? Try it now!
Anton Trunov
@AntonTrunov
Formal methods engineer, St. Petersburg
If you have Telegram, you can contact
Anton right away.