A course on formal verification at https://compsciclub.ru/en, Spring term 2021
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool