Mario Bucev and Viktor Kunčak. Formally verified Quite OK Image format. In
Formal Methods in Computer-Aided Design (FMCAD)
, 2022.
[
bib
]
Back