C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Combining Tests and Proofs.
Madhu Gopinathan
Aditya V. Nori
Sriram K. Rajamani
Published in:
VSTTE (2008)
Keyphrases
</>
neural network
data mining
preprocessing
machine learning
social networks
multimedia
website
high level
image sequences
theorem prover
computer programs
formal proofs