Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Konstruowanie specyfikacji i weryfikacja oprogramowania
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Automatyzacja wnioskowania konstruktywnego
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki