C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
PART _\mathrm PW : From Partial Analysis Results to a Proof Witness.
Marie-Christine Jakobs
Published in:
SEFM (2017)
Keyphrases
</>
data analysis
artificial intelligence
case study
support vector
quantitative analysis
data sets
databases
information retrieval
high level
wide range
information technology
image analysis
software engineering
microarray
theorem proving