@INPROCEEDINGS {
	AUTHOR = "Johannes Bader and Jonathan Aldrich and {\'E}ric Tanter",
	TITLE = "Gradual Program Verification",
	EDITOR = "Isil Dillig and Jens Palsberg",
	BOOKTITLE = "19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
	PAGES = "25-46",
	MONTH = "Jan",
	YEAR = "2018",
	ADDRESS = "Los Angeles, CA, USA",
	PUBLISHER = "Springer International Publishing AG",
	SERIES ="LNCS",
	NUMBER = "10747",
	ISBN = "978-3-319-73720-1",
	}