Powrót do listy grantów
Specyfikacja i weryfikacja systemów oprogramowania – od teorii do praktyki
- Kierownik
- prof. dr hab. Andrzej Tarlecki
- Numer umowy
- N N206 493138
- Data rozpoczęcia
- 29 marca 2010
- Data zakończenia
- 28 marca 2013
- Finansowany przez
- Ministerstwo Nauki i Szkolnictwa Wyższego
- Słowa kluczowe
- logika, specyfikacja, weryfikacja oprogramowania