Milena Bogdanovic

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 4

Top Topics

Functional Programming

Security Mechanisms

Quantifier Elimination

Benchmark Instances

Top Venues

Comput. Informatics

Ars Math. Contemp.

Publications