Predrag Filipovikj

SAC, pp.2168-2177, (2019)

international conference on evaluation of novel approaches to software engineering, (2019)

nordic workshop programming theory, (2018)

ACM Sigapp Applied Computing Review, no. 4 (2018): 15-28

ECEASST, (2017)

SAC, pp.1272-1279, (2017)

formal methods, (2016)

COMPSAC Workshops, pp.167-173, (2016)

FM, pp.748-756, (2016)

CTGDSD@ICSE, (2013)