Tytuł projektu: Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności
Instytucja: Uniwersytet Opolski
Miasto: Opole
Województwo: opolskie
Kierownik projektu: dr hab. Lidia Zofia Tendera
Panel: ST6 (obszar: ST)
Liczba wykonawców: 4
Finansowanie: 672512 PLN
Okres realizacji: 2014-03-11 00:00:00 – 2018-03-10 00:00:00 (48 miesięcy)