Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Wybrane metody weryfikacji modelowej wykorzystujące testery SMT
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Agnieszka Małgorzata Zbrzezny
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy