News for hackers. Stuff that matters.

A comment on CSolve: Liquid Types-Based C Program Verifier. Parent comment

Re:CSolve: Liquid Types-Based C Program Verifier by Animats on Saturday March 14, 2020 @04:58PM (#22578637)
(2012) Demo broken.
[ Parent | on HN ]

There are no comments on this comment yet.