Tytuł projektu: Metody wnioskowania o programach w językach wyższego rzędu
Instytucja: Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Miasto: Wrocław
Województwo: dolnośląskie
Kierownik projektu: prof. Witold Charatonik
Panel: ST6 (obszar: ST)
Liczba wykonawców: 5
Finansowanie: 597340 PLN
Okres realizacji: 2015-07-22 00:00:00 – 2018-11-21 00:00:00 (40 miesięcy)