A mini ACSL tutorial for Value, part 3: indirect assignsblog.frama-c.com1 point·junke··0 commentsOpen articleSaveView on HN