Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
莱安德罗·戈麦斯,亚历山大·马德拉,马尼沙·贾因,路易斯·索尔斯·巴博萨.加权强制程序的等式动态逻辑生成.在雅敏·艾特·阿米尔,秦盛超,编辑,形式化方法和软件工程——第21届形式化工程方法国际会议,2019年ICFEM,中国深圳,2019月5日至9日,会议记录.第11852卷计算机科学课堂讲稿,页154-169、施普林格、,2019 [美国国防部]
缺少摘要。