Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA.
(Lecture Notes in Computer Science ; 9206-9207)
国立国会図書館請求記号
M17-16-504
国立国会図書館書誌ID
027032756
資料種別
図書
著者
CAV (Conference) (27th : 2015 : San Francisco, Calif.)ほか
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, C...