Thanks to Marcel Dausend for photographic support Download .jpg photo or or high-quality .png
Joint conference in honour of Egon Borger’s 65th
birthday for his contribution to state-based formal methods
18 - 21 June 2012
CNR Research Area of Pisa, Italy
Conference General Chairs: John Derrick & Stefania Gnesi
Organizing Chair: Maurice ter Beek
Finance Chair: Alessandro Fantechi
Tutorial Chair:
Jonathan Bowen
Posters & Tool demos Chairs: Franco Mazzanti & Gianluca Trentanni
 |
 |
 |
|
 |
 |
