News for hackers. Stuff that matters.

A comment on SMT Solvers in Software Security (2012).

Re:SMT Solvers in Software Security (2012) by apaprocki on Saturday July 27, 2019 @09:52AM (#20542027)
Aside: Should have a 2012 in the title. I recognized Julien’s work because he came to Bloomberg almost immediately after this :)
[ Parent | on HN ]

There are no comments on this comment yet.