一种支持多线程程序的符号执行技术
李曈, 丁国富
A Symbolic Execution Technology Supporting Multi-thread Program
LI Tong, DING Guo-fu
计算机与现代化 . 2020, (06): 60 . 

版权所有 © 《计算机与现代化》编辑部
地址：江西省南昌市西湖区井冈山大道1416号　邮编：330003
电话：0791－86490996　 传真：0791-86492535　 Email：jgsdd@163.com
本系统由北京玛格泰克科技发展有限公司设计开发