Property Testing

2015-07-05 Property Driven Design: MinMax