在验证设置中开发GUI应用程序

斯蒂芬·阿德尔斯伯格,安东·塞泽尔,埃里克·沃尔金肖在验证设置中开发GUI应用程序新余峰,马库斯·穆勒·奥尔姆,资江·杨,编辑,可靠软件工程。理论、工具和应用——第四届国际研讨会,2018年9月4日至6日,中国北京,SETTA,2018,会议记录第10998卷计算机科学课堂讲稿,页89-107、施普林格、,2018 [美国国防部]

尚未对本出版物进行评论。