Powrót do listy grantów
System wspomagania dowodzenia dla duzych aplikacji, oparty na rachunku konstrukcji (promotorski)
- Kierownik
- prof. dr hab. Paweł Urzyczyn
- Numer umowy
- 4T11C 023 22
- Data rozpoczęcia
- 1 marca 2002
- Data zakończenia
- 31 sierpnia 2003
- Finansowany przez
- Komitet Badań Naukowych
- Wykonawcy
- mgr Jacek Chrząszcz