1 search result for "author:"Sebastien Patte""

Showing 1 - 1
  1. frama-c-typestates
    Documentation
    Frama-C typestates plug-in
    Sebastien Patte
    0.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository