Document is current

Jakšić, Stefan https://orcid.org/0000-0002-3203-9415

Bartocci, Ezio

Grosu, Radu

Nguyen, Thang

Ničković, Dejan

Funding for this research was provided by:

Österreichische Forschungsförderungsgesellschaft (845631)

ICT COST Action ARVI (IC1402)

Austrian Science Fund (11405-N23, S 11412-N23)

Austrian Science Fund (Doctoral Program Logical Methods in Computer Science)

Text and Data Mining valid from 2018-03-27