rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 288

  1. RT @agl__: A shallow survey of formal methods for C code: imperialviolet.org/2014/09/07/provers.html
    On twitter.com Twitter logo Retweet