%0 Book Section %1 books/sp/99/HermenegildoPB99 %A Hermenegildo, Manuel V. %A Puebla, Germán %A Bueno, Francisco %B The Logic Programming Paradigm %D 1999 %E Apt, Krzysztof R. %E Marek, Victor W. %E Truszczynski, Mirek %E Warren, David Scott %I Springer %K dblp %P 161-192 %T Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. %U http://dblp.uni-trier.de/db/books/collections/AMTW1999.html#HermenegildoPB99 %@ 978-3-642-60085-2

@incollection{books/sp/99/HermenegildoPB99, added-at = {2019-07-29T00:00:00.000+0200}, author = {Hermenegildo, Manuel V. and Puebla, Germán and Bueno, Francisco}, biburl = {https://www.bibsonomy.org/bibtex/28434bbcf7fa2edd23623fbad6236d37a/dblp}, booktitle = {The Logic Programming Paradigm}, crossref = {books/sp/99/AMTW1999}, editor = {Apt, Krzysztof R. and Marek, Victor W. and Truszczynski, Mirek and Warren, David Scott}, ee = {https://doi.org/10.1007/978-3-642-60085-2_7}, interhash = {3a42231f9c32c2dd0e8b14fc55d6c10c}, intrahash = {8434bbcf7fa2edd23623fbad6236d37a}, isbn = {978-3-642-60085-2}, keywords = {dblp}, pages = {161-192}, publisher = {Springer}, series = {Artificial Intelligence}, timestamp = {2019-07-30T11:47:45.000+0200}, title = {Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging.}, url = {http://dblp.uni-trier.de/db/books/collections/AMTW1999.html#HermenegildoPB99}, year = 1999 }