vasil-sd / engineering-sw-hw-model-checking-letures

Lectures in MIPT: intro to engineering software using model-checking.

Geek Repo

Github PK Tool