|
 |
| 3 | The awardees are ... myself and my PhD student at that time, Hassen Saidi (who could not come) for our work on predicate abstraction, presented at CAV'97 in Haifa in the paper "Construction of abstract state graphs with PVS" |
| Image | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | > | » |
| Nombre total d'images: 24 | S Graf | Aide |