Cerberus – Semantic models for C

Article URL: https://www.cl.cam.ac.uk/~pes20/cerberus/

Comments URL: https://news.ycombinator.com/item?id=18782192

Points: 15

# Comments: 3

from Hacker News: Front Page http://bit.ly/2nsncHC
via