2 search results for "author:"Armand Puccetti""
Showing 1 - 2
-
frama-c
No documentation
Platform dedicated to the analysis of source code written in C30.0~betaLGPL-2.1-onlyUsed by 2 other packages12 Nov 2024 -
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018