Administrative data

Mario Bucev

mario.bucev@epfl.ch

EPFL › IC › IINFCOM › LARA

Website: https://lara.epfl.ch

Publications

Formal Autograding in a Classroom (Experience Report)

D. Milovancevic; M. Bucev; M. Wojnarowski; S. Chassot; V. Kuncak

2024

Detailed record

Formula Normalizations in Verification

S. Guilloud; M. Bucev; D. Milovancevic; V. Kuncak

2023-06-16. 35th International Conference on Computer Aided Verification, Paris, France.

Detailed record

Formally Verified Quite OK Image Format

M. Bucev; V. Kunčak

2022. Formal Methods in Computer-Aided Design 2022, Trento, Italy, October 17-21, 2022. p. 343-348. DOI : 10.34727/2022/isbn.978-3-85448-053-2_41.

Detailed record

Full text – View at publisher