Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification

Hana Chockler. Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. In FMCAD. pages 1, 2022. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.