%0 Conference Paper %1 conf/issta/Dill00 %A Dill, David L. %B ISSTA %D 2000 %E Richardson, Debra J. %E Harold, Mary Jean %I ACM %K dblp %P 179 %T Model checking Java programs (abstract only). %U http://dblp.uni-trier.de/db/conf/issta/issta2000.html#Dill00 %@ 1-58113-266-2

@inproceedings{conf/issta/Dill00, added-at = {2021-07-27T00:00:00.000+0200}, author = {Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/29b2fb303cd2f9d56cb9f68366e19590f/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2000}, editor = {Richardson, Debra J. and Harold, Mary Jean}, ee = {https://doi.org/10.1145/347636.349113}, interhash = {fed75deb40629c5339749944f50d3b59}, intrahash = {9b2fb303cd2f9d56cb9f68366e19590f}, isbn = {1-58113-266-2}, keywords = {dblp}, pages = 179, publisher = {ACM}, timestamp = {2024-04-09T20:41:14.000+0200}, title = {Model checking Java programs (abstract only).}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2000.html#Dill00}, year = 2000 }