A Flexible Schema for Generating Explanations in Lazy Theory Propagation
Informazioni aggiuntive
Autori
Bruttomesso R.,
Pek E.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2010
Lingua
Inglese
Titolo atti di convegno
International Conference on Formal Methods and Models for Codesign (MEMOCODE)
Editore
IEEE Computer Society
Luogo convegno
Grenoble, France
