User:Shiyj/Books/software


 * Frama-C
 * Data dependency
 * Program slicing