Sign in

Scaling Correctness-by-Construction.

Alexander KnüppelTobias RungeIna Schaefer
Published in: ISoLA (1) (2020)
Keyphrases
  • special case
  • database
  • genetic algorithm
  • preprocessing
  • pairwise
  • automatic construction