from Hacker News

High-Assurance Web Programming with Coq Rock

by buff-a on 2/15/12, 10:53 AM with 0 comments