[Haskell-cafe] Re: Frama-C