Erratum: What Causes a System to Satisfy a Specification? (ACM Trans. Comput. Logic (2010) 11:4 (2))

Hana Chockler*, Joseph Y. Halpern, Orna Kupferman

*Corresponding author for this work

Research output: Contribution to journalComment/debate

1 Scopus citations
Original languageAmerican English
JournalACM Transactions on Computational Logic
Issue number4
StatePublished - 1 Jul 2010

Cite this