alf » from archive
RT @onepaperperday: "Fifteen Years of Formal Property Verification in Intel", by Limor Fix: http://dld.bz/cQzAJ #logic #hard #2009