by , ,
Reference:
Predicting program properties from 'big code' V. Raychev, M. T. Vechev, A. KrauseIn Commun. ACM, volume 62, 2019
Bibtex Entry:
@article{raychev19cacm,
	Author = {Veselin Raychev and Martin T. Vechev and Andreas Krause},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Bib,
	Doi = {10.1145/3306204},
	Journal = {Commun. {ACM}},
	Number = {3},
	Pages = {99--107},
	Timestamp = {Thu, 09 May 2019 13:10:55 +0200},
	Title = {Predicting program properties from 'big code'},
	Volume = {62},
	Year = {2019}}