年度	2017
书名	Tevfik Bultan*;Fang Yu*;Muath Alkhalaf*;Aydin Abdulbaki*, 2017.12, 'String Analysis for Software Verification and Security, ' Springer International Publishing.(*为通讯作者)
全部作者	郁方
出版日期	2017-12-01
ISSN(ISBN)	418008