| | 2007 | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | [Cook, Byron]
[Podelski, Andreas] | | Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394 | Proceedings Article | |
| | 2007 | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | [Ferrante, Jeanne]
[McKinley, Kathryn S.] | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | Proceedings Article | |
1 |
| Hermenegildo, Manuel (ed.) |
| |