2 search results for "author:"Michael Schwarz""
Showing 1 - 2
-
Static analysis framework for C2.3.0MITUsed by 0 other packages27 Nov 2023
-
A front-end for the C programming language that facilitates program analysis and transformation2.0.3BSD-3-ClauseUsed by 3 other packages21 Nov 2023