日程表-可信软件工程中的逻辑方法研讨会v

由计算机科学与工程学院、广西可信软件重点实验室承办、中科院软件所主办的“可信软件工程中的逻辑方法”学术研讨会将在桂林电子科技大学召开，欢迎有兴趣的同仁积极参加。本次会议将聚集国内本领域的相关院士、学术