1 search result for "author:"George Necula""

Showing 1 - 1
  1. goblint-cil
    Documentation
    A front-end for the C programming language that facilitates program analysis and transformation
    George Necula Scott McPeak Westley Weimer Gabriel Kerneis Ralf Vogler et al.
    2.1.1
    BSD-3-Clause
    Used by 3 other packages
    Added to opam-repository