Concepedia

Publication | Closed Access

Explaining counterexamples using causality

DOI

101

Citations

25

References

2011

Year

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard Trefler
Formal Methods in System Design

References

YearCitations

Page 1