Comment by andredublin

Software Estimation Crazy Rich Asians Practical TLA+ IoT Foundations