Login / Signup
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis.
Hessamaldin Mohammadi
Wided Ghardallou
Elijah Brick
Ali Mili
Published in:
QRS Companion (2023)
Keyphrases
</>
computer vision
databases
data mining
knowledge base
website
decision trees
case study
data structure