Using program induction for verification – will this work?(blog.foretellix.com)2 points by yoav_hollander 8 years ago | 0 commentsNo comments yet