Model Checking Software
Dragan Bošnački, Anton Wijs · Lecture notes in computer science · 2016
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, co