%0 Conference Paper %1 conf/spin/LimLR09 %A Lim, Junghee %A Lal, Akash %A Reps, Thomas W. %B SPIN %D 2009 %E Pasareanu, Corina S. %I Springer %K dblp %P 148-168 %T Symbolic Analysis via Semantic Reinterpretation. %U http://dblp.uni-trier.de/db/conf/spin/spin2009.html#LimLR09 %V 5578 %@ 978-3-642-02651-5

@inproceedings{conf/spin/LimLR09, added-at = {2017-05-17T00:00:00.000+0200}, author = {Lim, Junghee and Lal, Akash and Reps, Thomas W.}, biburl = {https://www.bibsonomy.org/bibtex/2c38f94ca8c35987098aa37cde5152d2a/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2009}, editor = {Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-642-02652-2_14}, interhash = {77221bc69fffa783437b46ce9bec0ad9}, intrahash = {c38f94ca8c35987098aa37cde5152d2a}, isbn = {978-3-642-02651-5}, keywords = {dblp}, pages = {148-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:05:31.000+0200}, title = {Symbolic Analysis via Semantic Reinterpretation.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2009.html#LimLR09}, volume = 5578, year = 2009 }