C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Program Logic for Dependence Analysis.
Richard Bubel
Reiner Hähnle
Asmae Heydari Tabar
Published in:
IFM (2019)
Keyphrases
</>
relational databases
data analysis
database
real time
real world
information systems
website
search algorithm
static analysis