四川大学;
计算机学院;
四川成都610065;
高可信软件技术教育部重点实验室(北京大学);
北京;
100871;
北京大学;
信息科学技术学院;
北京;
100871;
四川大学;
计算机学院;
四川成都610065;
四川大学;
计算机学院;
四川成都610065;
四川大学;
计算机学院;
四川成都610065;
四川大学;
计算机学院;
四川成都610065;
四川大学;
计算机学院;
四川成都610065;
四川大学;
华西医学院;
中国出生缺陷监测中心;
四川成都610065;