1 search result for "author:"Scott McPeak""

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.0.8
    BSD-3-Clause
    Used by 3 other packages
    23 Oct 2025