A Generic Event-B Theory for the Formalisation of the International System of Units.

Idir At-Sadoune

Browse the full VECoS paper archive.