Nie jesteś zalogowany | Zaloguj się
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