A mini ACSL tutorial for Value, part 2blog.frama-c.com2 points·junke··0 commentsOpen articleSaveView on HN