GitHub repository: GuilhermeBn198/Program-Slicing_PIC
Primary language: C
Created: 2023-03-27T21:13:31Z
Description: exploring program slicing and documenting my discoveries using Frama-c Tool