Title | A Flexible Schema for Generating Explanations in Lazy Theory Propagation |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Bruttomesso, R., Pek E., and Sharygina Natasha |
Conference Name | International Conference on Formal Methods and Models for Codesign (MEMOCODE) |
Publisher | IEEE Computer Society |
Conference Location | Grenoble, France |
Full Text |