Formal Methods Let You Explore the Corners (2016)

3 points| gavinhoward | 9 months ago |johndcook.com