TY  - RPRT
TI  - RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
AU  - Tobias Reiher
AU  - Alexander Senier
AU  - Jeronimo Castrillon
AU  - Thorsten Strufe
PY  - 2019
UR  - https://arxiv.org/abs/1910.02146
ID  - 1910.02146
ER  -