Diary Entry: 2007-07-31 00:00:00 - 2007-08-12 00:00:00

Temesghen attends the international summer school Marktoberdorf 2007 and gives a talk on "Specification Based Testing for Refinement". Below are some pictures from the trip.