@inproceedings{ACMGrandFinalsEfficient, Author = {Eric Bodden}, Booktitle = {{Grand Finals of the ACM Student Research Competition 2005}}, Kind = {Workshop}, Month = {03}, Awarded = {Winner paper of the Grand Finals}, Title = {{Efficient and Expressive Runtime Verification for Java}}, Url = {https://www.bodden.de/pubs/bodden05efficient.pdf}, Year = {2005}, Bdsk-Url-1 = {https://www.bodden.de/pubs/bodden05efficient.pdf}}