%0 Conference Paper %1 conf/kbse/DengLR06 %A Deng, Xianghua %A Lee, Jooyong %A Robby, %B ASE %D 2006 %I IEEE Computer Society %K dblp %P 157-166 %T Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. %U http://dblp.uni-trier.de/db/conf/kbse/ase2006.html#DengLR06 %@ 0-7695-2579-2

@inproceedings{conf/kbse/DengLR06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Deng, Xianghua and Lee, Jooyong and Robby}, biburl = {https://www.bibsonomy.org/bibtex/220b61cc90b524df7f6b96bee2419ae25/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2006.26}, interhash = {025563cf31a9b11e569c9889c451ac82}, intrahash = {20b61cc90b524df7f6b96bee2419ae25}, isbn = {0-7695-2579-2}, keywords = {dblp}, pages = {157-166}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:02:42.000+0200}, title = {Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2006.html#DengLR06}, year = 2006 }