Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
“... like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods...”