Login / Signup

Evaluation of Program Slicing in Software Verification.

Marek ChalupaJan Strejcek
Published in: IFM (2019)
Keyphrases
  • program slicing
  • text categorization
  • formal verification