Mario Bucev

Editer le profil

photo placeholder image

mario.bucev@epfl.ch

EPFL IC IINFCOM LARA
BC 354 (Bâtiment BC)
Station 14
1015 Lausanne

Local: BC 354
EPFL > IC > IINFCOM > LARA

Web site: Site web: https://lara.epfl.ch

vCard
Données administratives

Publications

Publications Infoscience

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