Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Filip Schramka
conf.researchr.org general profile
POPL 2025 profile
Not registered as user
Name:
Filip Schramka
Country:
Switzerland
Affiliation:
Ateleris GmbH
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 7 Feb 09:38