%0 Conference Paper %1 conf/flops/BuenoLH04 %A Bueno, Francisco %A López-García, Pedro %A Hermenegildo, Manuel V. %B FLOPS %D 2004 %E Kameyama, Yukiyoshi %E Stuckey, Peter J. %I Springer %K dblp %P 100-116 %T Multivariant Non-failure Analysis via Standard Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/flops/flops2004.html#BuenoLH04 %V 2998 %@ 3-540-21402-X

@inproceedings{conf/flops/BuenoLH04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Bueno, Francisco and López-García, Pedro and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2fbe50abf0361f9738e97860099f25de0/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2004}, editor = {Kameyama, Yukiyoshi and Stuckey, Peter J.}, ee = {https://doi.org/10.1007/978-3-540-24754-8_9}, interhash = {33abb8f286a30aedabf2b34d2e5ea37c}, intrahash = {fbe50abf0361f9738e97860099f25de0}, isbn = {3-540-21402-X}, keywords = {dblp}, pages = {100-116}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:26.000+0200}, title = {Multivariant Non-failure Analysis via Standard Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2004.html#BuenoLH04}, volume = 2998, year = 2004 }