| Original language | English |
|---|---|
| Title of host publication | host publication |
| Publication status | Published - 2003 |
Proof Rules for Automated Compositional Verification through Learning
Howard Barringer, Dimitra Giannakopolou, Corina Pasareanu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review