Nie jesteś zalogowany | Zaloguj się
Powrót do listy grantów

Modele obliczeniowe w formalnej weryfikacji

Kierownik
dr Filip Mazowiecki
Numer umowy
2022/46/E/ST6/00230
Data rozpoczęcia
2 października 2023
Data zakończenia
2 października 2023
Finansowany przez
Narodowe Centrum Nauki