TY  - RPRT
TI  - Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
AU  - Mario Bucev
AU  - Samuel Chassot
AU  - Simon Felix
AU  - Filip Schramka
AU  - Viktor Kunčak
PY  - 2024
UR  - https://arxiv.org/abs/2412.07235
ID  - 2412.07235
ER  -