Articles by Aurore Dromby


Authors: Aurore Dromby
Date: 2020-03-03
Category: Formal Methods
Tags: alt-ergo, fr

Alt-Ergo meeting Logo Alt-Ergo La deuxième réunion annuelle du Club des utilisateurs d’Alt-Ergo a eu lieu à la mi-février ! Notre réunion annuelle est l’endroit idéal pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Cette année, nous avons eu le plaisir de recevo... (Read more)