Teaching Runtime Verification
| Title | Teaching Runtime Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Leucker, M |
| Conference Name | Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers |
| Publisher | Springer |
| ISBN Number | 978-3-642-29859-2 |
| DOI | 10.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}
}