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

Showing 1 - 1
  1. goblint-cil

    No 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.0.6
    BSD-3-Clause
    Used by 3 other packages
    26 Mar 2025