Diary Entry: 2009-09-28 00:00:00 - 2009-09-30 00:00:00

Temesghen participates at the international conference of Concurrency, Specification and Programming. Here, Temesghen presented the paper "Towards formal testing of jet engine Rolls-Royce BR725". Below are some photos from the trip.