Login / Signup
Program Verification: A 70+-Year History.
Moshe Y. Vardi
Published in:
ICSOFT (2022)
Keyphrases
</>
database
computational complexity
historical information
real time
decision making
high level
multiresolution
probabilistic model
probability distribution