Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings : Aug 2015, Stellenbosch, South Africa.
(Lecture Notes in Computer Science ; 9232)
国立国会図書館請求記号
M17-16-521
国立国会図書館書誌ID
027033601
資料種別
図書
著者
International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa)ほか
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South ...