Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
菲利普·詹姆斯,法伦·莫勒,黄义恩(Hoang Nga Nguyen),马库斯·罗根巴赫,孙礼达,海伦·特雷哈恩,马修·特朗布尔,大卫·M·威廉姆斯。使用CSP$$||$$||验证方案计划。在史蒂夫·康塞尔,曼努埃尔·努涅斯,编辑,软件工程和形式方法——SEFM 2013联合研讨会:BEAT2、WS-FMDS、FM-RAIL-Bok、MoKMaSD和OpenCert,西班牙马德里,2013年9月23日至24日,修订论文集。第8368卷,共页计算机科学课堂讲稿,页189-204、施普林格、,2013 [美国国防部]
缺少摘要。