A Flexible Schema for Generating Explanations in Lazy Theory Propagation
Additional information
Authors
Bruttomesso R.,
Pek E.,
Sharygina N.
Type
Article in conference proceedings
Year
2010
Language
English
Conference proceedings
International Conference on Formal Methods and Models for Codesign (MEMOCODE)
Publisher
IEEE Computer Society
Meeting place
Grenoble, France
