所属大学: 青岛理工大学
所属学院: 信息与控制工程学院
邮箱: lizhuang@qute.edu.cn
个人主页: http://ice.qut.edu.cn/info/1045/2383.htm
并发程序验证与测试、符号执行