- CAV (Conference) (8)
- Larsen, K. G. (Kim G.), 1957- (2)
- Workshop on Computer-Aided Verification (2)
- Alur, Rajeev, 1966- (1)
- Berry, Gérard (1)
- Brinksma, Ed (1)
- Clarke, E. M. (1)
- Comon, Hubert (1)
- Dill, David L. (1)
- Emerson, E. Allen (1)
- Finkel, Alain (1)
- Halbwachs, Nicolas (1)
- Henzinger, T. A. (Thomas A.) (1)
- Hunt, Warren A., 1958- (1)
- Peled, Doron (1)
- Sistla, A. Prasad (1)
- Skou, A. (Arne), 1948- (1)
- Somenzi, Fabio (1)
- Wolper, Pierre (1)