Nie jesteś zalogowany |
Powrót do listy grantów
Automatyczna analiza systemów współbieżnych
- Kierownik
- prof. dr hab. Sławomir Lasota
- Numer umowy
- UMO-2017/27/B/ST6/02093
- Data rozpoczęcia
- 6 czerwca 2018
- Data zakończenia
- 19 lipca 2021
- Finansowany przez
- Narodowe Centrum Nauki
