A Generic Processor for Program Validation and Debugging.
G. Puebla, F. Bueno, and M. Hermenegildo. Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 63-107. Springer, (2000)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/discipl/PueblaBH00a
%A Puebla, Germán
%A Bueno, Francisco
%A Hermenegildo, Manuel V.
%B Analysis and Visualization Tools for Constraint Programming
%D 2000
%E Deransart, Pierre
%E Hermenegildo, Manuel V.
%E Maluszynski, Jan
%I Springer
%K dblp
%P 63-107
%T A Generic Processor for Program Validation and Debugging.
%U http://dblp.uni-trier.de/db/conf/discipl/discipl2000.html#PueblaBH00a
%V 1870
%@ 3-540-41137-2
@inproceedings{conf/discipl/PueblaBH00a,
added-at = {2017-05-17T00:00:00.000+0200},
author = {Puebla, Germán and Bueno, Francisco and Hermenegildo, Manuel V.},
biburl = {https://www.bibsonomy.org/bibtex/2d11b294d7b10d7986128eee4342616f9/dblp},
booktitle = {Analysis and Visualization Tools for Constraint Programming},
crossref = {conf/discipl/2000},
editor = {Deransart, Pierre and Hermenegildo, Manuel V. and Maluszynski, Jan},
ee = {https://doi.org/10.1007/10722311_3},
interhash = {59aa0afff3c77bfd0d30a24143be46b4},
intrahash = {d11b294d7b10d7986128eee4342616f9},
isbn = {3-540-41137-2},
keywords = {dblp},
pages = {63-107},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T16:30:37.000+0200},
title = {A Generic Processor for Program Validation and Debugging.},
url = {http://dblp.uni-trier.de/db/conf/discipl/discipl2000.html#PueblaBH00a},
volume = 1870,
year = 2000
}