Inproceedings,

A Generic Processor for Program Validation and Debugging.

, , and .
Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 63-107. Springer, (2000)

Meta data

Tags

Users

  • @dblp

Comments and Reviews