Towards a Formal Library for Precise and Accurate Measurements.

Meryem Lamrani, Youns El Amrani, Aziz Ettouhami

Browse the full ICCSA paper archive.