News for hackers. Stuff that matters.

A comment on SLAyer. Parent comment

Re:SLAyer by Tomte on Wednesday May 04, 2016 @08:27AM (#11627811)
"Separation Logic", no idea about the "A".

Maybe "analysis"?

[ Parent | on HN ]

There are no comments on this comment yet.