News
Category: news
Day: 30 April 2020
Medaile pro výzkumnou skupinu VeriFIT ze soutěže SV-COMP
![[img]](https://www.fit.vut.cz/fit/news-file/2779/memsafety.png)
This news is in Czech only, please switch to Czech language to view it.
News
Category: news
Day: 30 April 2020