Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study.

Stefan Ciobaca, Diana-Elena Gratie

Browse the full IFM paper archive.