Cover Image
Read Now

1
Published 2016
Springer International Publishing
“... Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented...”