1 search result for "author:"Westley Weimer""

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.5
    BSD-3-Clause
    Used by 3 other packages
    27 Nov 2024