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