Sign in
Efficient Verification of Imperative Programs Using Auto2.
Bohua Zhan
Published in:
TACAS (1) (2018)
Keyphrases
</>
imperative programs
database
cost effective
information retrieval
dynamic environments
computationally expensive
fixed point