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

Dowodzenie poprawności implementacji behawioralnej w procesie konstrukcji oprogramowania

Kierownik
prof. dr hab. Sławomir Lasota
Numer umowy
8T11 019 19
Data rozpoczęcia
1 lipca 2000
Data zakończenia
30 czerwca 2001
Finansowany przez
Komitet Badań Naukowych
Wykonawcy
dr Sławomir Lasota