Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
“... Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November...”