全部期刊
刊名 ISSN
《VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION》
语言：外文
学科分类：综合