4 ms·C++ on Sea 2020 – “Correct by Construction: APIs That Are Easy to Use”2 points by gtsnexp 6y ago