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} }