equal
deleted
inserted
replaced
1 Andrea Asperti (Uni Bologna) |
1 Andrea Asperti (Uni Bologna) |
2 http://www.cs.unibo.it/~asperti/ |
2 http://www.cs.unibo.it/~asperti/ |
3 Jesper Bengtson (IT University of Copenhagen) |
3 Jesper Bengtson (IT University of Copenhagen) |
4 http://www.itu.dk/people/jebe/ |
4 http://www.itu.dk/people/jebe/ |
5 Steffen Berghofer (Secunet Security Networks AG) |
5 Stefan Berghofer (Secunet Security Networks AG) |
6 http://wwwbroy.in.tum.de/~berghofe/ |
6 http://wwwbroy.in.tum.de/~berghofe/ |
7 Yves Bertot (INRIA) |
7 Yves Bertot (INRIA) |
8 http://www-sop.inria.fr/members/Yves.Bertot/ |
8 http://www-sop.inria.fr/members/Yves.Bertot/ |
9 Lars Birkedal (Aarhus University) |
9 Lars Birkedal (Aarhus University) |
10 http://cs.au.dk/~birke/ |
10 http://cs.au.dk/~birke/ |