Tytuł projektu: Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
Instytucja: Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Miasto: Wrocław
Województwo: dolnośląskie
Kierownik projektu: dr Filip Sieczkowski
Panel: ST6 (obszar: ST)
Liczba wykonawców: 2
Finansowanie: 216700 PLN
Okres realizacji: 2017-08-24 00:00:00 – 2020-08-23 00:00:00 (36 miesięcy)