2 search results for "author:"David Chemouil""

Showing 1 - 2
  1. Formal analysis for the Electrod formal pivot language
    1.0.0
    MPL-2.0
    Used by 0 other packages
    11 Jan 2021
  2. A tool for the analysis of Electrum formal specifications.
    0.3.5-2
    GPL-3.0-or-later
    Used by 0 other packages
    29 Jul 2016