Teaching Runtime Verification

TitleTeaching Runtime Verification
Publication TypeConference Paper
Year of Publication2012
AuthorsLeucker, M
Conference NameRuntime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
PublisherSpringer
ISBN Number978-3-642-29859-2
DOI10.1007/978-3-642-29860-8
Bibtex: 
@inproceedings {807,
	title = {Teaching Runtime Verification},
	booktitle = {Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
	year = {2012},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-642-29859-2},
	doi = {http://dx.doi.org/10.1007/978-3-642-29860-8},
	author = {Martin Leucker}
}