C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automatically Detecting Inconsistencies in Program Specifications.
Aditi Tagore
Bruce W. Weide
Published in:
NASA Formal Methods (2013)
Keyphrases
</>
automatically detecting
automatic detection
control flow
knowledge base
high level
feature vectors
image features
object detection