Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mario Bucev
conf.researchr.org general profile
POPL 2025 profile
Not registered as user
Name:
Mario Bucev
Country:
Switzerland
Affiliation:
EPFL
Contributions
2025
VMCAI
Author of Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study within the VMCAI 2025-track
Share
x
Sat 29 Mar 12:02
