1
Published 2012
Springer Berlin Heidelberg
... Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised...

2
Published 2007
Springer Berlin Heidelberg
..., WMC8, which took place in Thessaloniki, Greece, during June 25–28, 2008. The ?rst three workshops...