vasil-sd
Results
2
repositories owned by
vasil-sd
engineering-sw-hw-model-checking-letures
16
Stars
0
Forks
Watchers
Lectures in MIPT: intro to engineering software using model-checking.
