Authors

T.W.J. Kappé

Date (dd-mm-yyyy)

2022

Title

Leapfrog: certified equivalence for protocol parsers (Coq formalization)

Publication Year

2022

Document type

Software

URL

go to publisher's site

Permalink

https://hdl.handle.net/11245.1/6fe223c7-c0a7-4215-aa68-2ee6d470dd2c