Status Quo: We started to use LMF,* Inconvenients:Division — French spelling MF vs FMLaboratoire front: “Laboratoire LFM”, redundancy, alphabetical lists* Wishone acronym for speech & web, neutral / international, better identifiable in listings* DefaultKeep status quo OR No acronym: use Laboratoire Methodes Formelles / Formal Methods Lab →Read more

Hello world!

Welcome to WordPress. This is your first post. Edit or delete it, then start writing! →Read more