mlte.de

Korfu

Zur 3rd International School on Tool-based Rigorous Engineering of Software Systems (STRESS) im Rahmen der 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) war ich Anfang Oktober 2014 für eine Woche auf Korfu. Hier einige Impressionen vom Corfu Imperial Hotel, in dem beide Veranstaltungen stattgefunden haben.