Mario Bucev

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Scoring Functions

Top Venues

Publications

Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak
Formula Normalizations in Verification. CAV (3) (2023)
Mario Bucev, Viktor Kuncak
Formally Verified Quite OK Image Format. FMCAD (2022)