-
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science)
0Original price was: $101.00.$10.00Current price is: $10.00.
