Miroslav Stankovic

发表

Ezio Bartocci, Laura Kovács, Miroslav Stankovic, 2020, TACAS.

Ezio Bartocci, Laura Kovács, Miroslav Stankovic, 2020, ICTAC.

Ezio Bartocci, Laura Kovács, Miroslav Stankovic, 2019, ATVA.