2 |
| Carlucci-Aiello, Luigia (ed.) |
| |
1 |
| Cassandras, Christos (ed.) |
| |
| | 2002 | Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor | Charatonik, Witold
Ganzinger, Harald | | Is Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30 | Proceedings Article | |
| | 2002 | Kazakov, Yevgeny | Charatonik, Witold
Ganzinger, Harald | | Recursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15 | Proceedings Article | |
| | 2002 | Maier, Patrick | Charatonik, Witold
Ganzinger, Harald | | A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58 | Proceedings Article | |
1 |
| Cialdea Mayer, Marta (ed.) |
| |