Bibtex

Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte, A Static Analysis to Detect Re-Entrancy in Object Oriented Programs

@article{JOT:issue_2008_06/article1, author = {<a href="/contents.html?query=F\"{a}hndrich">Manuel F\"{a}hndrich</a> and <a href="/contents.html?query=Garbervetsky">Diego Garbervetsky</a> and <a href="/contents.html?query=Schulte">Wolfram Schulte</a>}, title = {A Static Analysis to Detect Re-Entrancy in Object Oriented Programs}, journal = {Journal of Object Technology}, volume = {7}, number = {5}, issn = {1660-1769}, year = {2008}, month = jun, editor = {<a href="/contents.html?query=Boyland">John Boyland</a>}, note = {Workshop on Formal Techniques for Java-like Programs (FTfJP), ECOOP 2007}, pages = {5-23}, doi = {10.5381/jot.2008.7.5.a1}, url = {http://www.jot.fm/contents/issue_2008_06/article1.html} }

Back