@misc{PosterECOOPTwoThousandSeven, Author = {Eric Bodden}, Date-Modified = {2010-10-19 13:41:59 +0200}, Howpublished = {21st European Conference on Object-Oriented Programming, July 30th 2007, Berlin, Germany}, Month = {07}, Note = {Poster}, Title = {Efficient runtime monitoring through static analysis}, Year = {2007}}