Formal Techniques for Java-like Programs (bibtex)
@inproceedings{EisenbachEA04, title = {Formal Techniques for {J}ava-like Programs}, year = {2004}, author = {Eisenbach, S. and Leavens, G. T. and M{\"u}ller, P. and Poetzsch-Heffter, A. and Poll, E.}, booktitle = {Object-Oriented Technology. {ECOOP}'03 Workshop Reader}, pages = {62--71}, editor = {F. Buschmann and A. P. Buchmann and M. Cilia}, volume = {3013}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, urltopdf = {} }
Powered by bibtexbrowser
You are browsing sechair-bib.bib with bibtexbrowser