Login / Signup

Field-sensitive program slicing.

Carlos GalindoJens KrinkeSergio PérezJosep Silva
Published in: J. Syst. Softw. (2024)
Keyphrases
  • program slicing
  • reverse engineering
  • high level
  • formal verification
  • description languages