|
|
Університет Mасарика
Українська
Čeština
English
Čeština
English
Університет імені Масарика допомагає Україні
:
Masarykova univerzita
Výzkum
Publikace
DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs
More info
Close