@inproceedings{conf/vmcai/Madhusudan07,
	title = {Learning Algorithms and Formal Verification (Invited Tutorial).},
	author = {P. Madhusudan},
	booktitle = {VMCAI},
	crossref = {conf/vmcai/2007},
	editor = {Byron Cook and Andreas Podelski},
	pages = {214},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2007.html#Madhusudan07},
	volume = {4349},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/23e1e178e8d09d5da3b1e79b57e93c5ed/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-69738-1_15}, isbn = {978-3-540-69735-0}, date = {2008-01-08},
	keywords = {dblp }
}