Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
斯蒂芬·阿德尔斯伯格,安东·塞泽尔,埃里克·沃金肖.在验证设置中开发GUI应用程序.在新余峰,马库斯·穆勒·奥尔姆,资江·杨,编辑,可靠软件工程。理论、工具和应用——第四届国际研讨会,2018年9月4日至6日,中国北京,SETTA,2018,会议记录.第10998卷计算机科学讲义,页89-107、施普林格、,2018 [美国国防部]
缺少摘要。