Inferring Physical Units in B Models.

Sebastian Krings, Michael Leuschel

Browse the full SEFM paper archive.