@inproceedings{OOPSLATheDesign, Author = {Eric Bodden}, Booktitle = {OOPSLA '07: Companion of the 22nd annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, Month = oct, Note = {Doctoral Symposium}, Title = {The design and implementation of formal monitoring techniques}, Url = {https://www.bodden.de/pubs/bodden07thedesign-oopsla.pdf}, Year = {2007}, Bdsk-Url-1 = {https://www.bodden.de/pubs/bodden07thedesign-oopsla.pdf}}