The design and implementation of formal monitoring techniques (bibtex)
@inproceedings{ECOOPTheDesign,
	Author = {Eric Bodden},
	Booktitle = {Doctoral Symposium at the 21st European Conference on Object-Oriented Programming, Berlin, Germany},
	Month = jul,
	Title = {The design and implementation of formal monitoring techniques},
	Url = {https://www.bodden.de/pubs/bodden07thedesign.pdf},
	Year = {2007},
	
	Bdsk-Url-1 = {https://www.bodden.de/pubs/bodden07thedesign.pdf}}
Powered by bibtexbrowser