George Eleftherakis

1 published title

Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5 2012 : proceedings

(Contributor)

1 edition