Learning meets Verification

TitleLearning meets Verification
Publication TypeConference Paper
Year of Publication2007
AuthorsLeucker, M
Conference NameLecture Notes in Computer Science
Volume4709
PublisherSpringer
Bibtex: 
@inproceedings {DBLP:conf/fmco/Leucker07,
	title = {Learning meets Verification},
	booktitle = {Lecture Notes in Computer Science},
	volume = {4709},
	year = {2007},
	pages = {127-151},
	publisher = {Springer},
	organization = {Springer},
	author = {Martin Leucker}
}
Postscript: