Tytuł projektu: Konstruowanie specyfikacji i weryfikacja oprogramowania
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: prof. Andrzej Tarlecki
Panel: ST6 (obszar: ST)
Liczba wykonawców: 6
Finansowanie: 496260 PLN
Okres realizacji: 2014-07-16 00:00:00 – 2018-06-15 00:00:00 (47 miesięcy)