关注微信公众号查券更方便
【3-4周达】Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Afr... [9783319234038]