Tests and types – on business correctness vs. program correctness #1 Post by sebdedeyne » Mon, Jun 17, 2019, 12:56 PM UTC Tests and types – on business correctness vs. program correctnessstitcher.io