- TACAS (12)
- European Conferences on Theory and Practice of Software (9)
- Brinksma, Ed (2)
- Margaria, Tiziana (2)
- Steffen, Bernhard (2)
- Cleaveland, W. R. (Walter Rance), 1961- (1)
- Garavel, Hubert (1)
- Graf, Susanne (1)
- Halbwachs, Nicolas (1)
- Hatcliff, John, 1966- (1)
- Hermanns, Holger (1)
- Jensen, K. (Kurt), 1950- (1)
- Katoen, Joost-Pieter (1)
- Palsberg, Jens (1)
- Podelski, Andreas (1)
- Schwartzbach, Michael I (1)
- Stevens, Perdita (1)
- Yi, Wang (1)
- Zuck, Lenore D. (1)