|
|
Університет Mасарика
Čeština
English
CS
EN
Університет імені Масарика допомагає Україні
:
Home
Výzkum
Publikace
Improved State Space Reductions for LTL Model Checking of C & C++ Programs
More info
Close