Login / Signup
Scalable and scope-bounded software verification in Varvel.
Franjo Ivancic
Gogul Balakrishnan
Aarti Gupta
Sriram Sankaranarayanan
Naoto Maeda
Takashi Imoto
Rakesh Pothengil
Mustafa Hussain
Published in:
Autom. Softw. Eng. (2015)
Keyphrases
</>
lightweight
web scale
data mining
search engine
decision trees
case study
database systems
relational databases