Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
“... Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers...”