1 Fast and formally verified C implementation of Base64 2013106 points40 commentsSoftware Engineering details