Acronym
Status Quo: We started to use LMF,
LMF
labmf.frlabmf.ens-paris-saclay.fr
* Inconvenients:
Division — French spelling MF vs FMLaboratoire front: “Laboratoire LFM”, redundancy, alphabetical lists
* Wish
one acronym for speech & web, neutral / international, better identifiable in listings
* Default
Keep status quo OR No acronym: use Laboratoire Methodes Formelles / Formal Methods Lab
Comments |0|
In category: Uncategorized