Symboleo-CC: a Symboleo legal contract specification verification tool built around the nuXmv model checking tool

Ce contenu a été mis à jour le 28 février 2023 à 18 h 31 min.