Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Simon Felix
conf.researchr.org general profile
POPL 2025 profile
Registered user since Fri 10 Jan 2025
Name:
Simon Felix
Country:
Switzerland
Affiliation:
Ateleris GmbH
Personal website:
https://www.ateleris.ch/
Contributions
2025
VMCAI
Author of Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study within the VMCAI 2025-track
Share
x
Fri 28 Mar 10:56
