2 |
| Fariñas del Cerro, Luís (ed.) |
| |
1 |
| Felleisen, Matthias (ed.) |
| |
1 |
| Fermüller, Christian (ed.) |
| |
| | 2007 | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | Proceedings Article | |
| | 2007 | [Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | Proceedings Article | |
1 |
| Firozabadhi, Babak Sadighi |
| |