Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
2006 | Thread-Modular Verification and Cartesian Abstraction | malkis2006a | |||||
2006 | Thread-Modular Verification is Cartesian Abstract Interpretation In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197 | malkis2006 | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|