Posted by quoderat on Saturday Jul 8, 2017

Where Machine Learning meets rule-based verification.