%0 Journal Article %1 journals/jcsci/Haase16 %A Haase, Oliver %D 2016 %J J. Comput. Sci. %K dblp %N 7 %P 314-322 %T Abstract Interpretation of Java Bytecode for Immutability Analysis. %U http://dblp.uni-trier.de/db/journals/jcsci/jcsci12.html#Haase16 %V 12

@article{journals/jcsci/Haase16, added-at = {2020-04-25T00:00:00.000+0200}, author = {Haase, Oliver}, biburl = {https://www.bibsonomy.org/bibtex/298970ba1135a35e12e2c959ba457961e/dblp}, ee = {https://doi.org/10.3844/jcssp.2016.314.322}, interhash = {be3aa6dadb79b259a6a6cc99edf7afea}, intrahash = {98970ba1135a35e12e2c959ba457961e}, journal = {J. Comput. Sci.}, keywords = {dblp}, number = 7, pages = {314-322}, timestamp = {2020-04-28T11:49:55.000+0200}, title = {Abstract Interpretation of Java Bytecode for Immutability Analysis.}, url = {http://dblp.uni-trier.de/db/journals/jcsci/jcsci12.html#Haase16}, volume = 12, year = 2016 }