%0 Conference Paper %1 conf/ecoopw/MullerP99 %A Müller, Peter %A Poetzsch-Heffter, Arnd %B ECOOP Workshops %D 1999 %E Moreira, Ana M. D. %E Demeyer, Serge %I Springer %K dblp %P 154-156 %T Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. %U http://dblp.uni-trier.de/db/conf/ecoopw/ecoopw99.html#MullerP99 %V 1743 %@ 3-540-66954-X

@inproceedings{conf/ecoopw/MullerP99, added-at = {2014-10-01T00:00:00.000+0200}, author = {Müller, Peter and Poetzsch-Heffter, Arnd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20aa40719e96cad0b0275fcbdbc3ebd42/dblp}, booktitle = {ECOOP Workshops}, crossref = {conf/ecoopw/1999}, editor = {Moreira, Ana M. D. and Demeyer, Serge}, ee = {https://doi.org/10.1007/3-540-46589-8}, interhash = {4dfeca46042f384f12504eb2537f448f}, intrahash = {0aa40719e96cad0b0275fcbdbc3ebd42}, isbn = {3-540-66954-X}, keywords = {dblp}, pages = {154-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:04:31.000+0200}, title = {Alias Control Is Crucial for Modular Verification of Object-Oriented Programs.}, url = {http://dblp.uni-trier.de/db/conf/ecoopw/ecoopw99.html#MullerP99}, volume = 1743, year = 1999 }