Model Checking Software
Published in Lecture notes in computer science • Jan 1, 2016
NobleIDNI7P71W82R46S79
Authors:,
Dragan Bošnački
Anton Wijs
Abstract
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
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!