@article{mcbride-2023-measuring, title={Measuring with confidence: leveraging expressive type systems for correct-by-construction software}, volume={12}, ISSN={0237-028X}, url={http://dx.doi.org/10.21014/actaimeko.v12i1.1412}, DOI={10.21014/actaimeko.v12i1.1412}, number={1}, journal={Acta IMEKO}, publisher={IMEKO International Measurement Confederation}, author={McBride, Conor and Nakov, Georgi and Nordvall Forsberg, Fredrik}, year={2023}, month=Mar, pages={1–5} }