Sign in
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting.
Aleksandar S. Dimovski
Axel Legay
Published in:
FASE (2020)
Keyphrases
</>
forward backward
special case