Efficient and Expressive Runtime Verification for Java (bibtex)
@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}}
Powered by bibtexbrowser