您的位置是:首页 >研究队伍 >科研团队

科研团队


广西高等学校高水平创新团队:“可信软件”创新团队

成员:钱俊彦、赵岭忠、蔡国永、常 亮、董荣胜、郭云川、李凤英、徐周波、张敬伟

      林煜明、刘忆宁、宁黎华、张会兵

 

桂林电子科技大学“计算机软件”创新团队

 

桂林电子科技大学“形式化验证理论及应用”创新团队