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