Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
爱德华多·杰拉尔多,何塞·弗拉戈索·桑托斯,乔·科斯塔·塞科.低层代码的混合信息流控制.在Radu Calinescu公司,科琳娜·帕萨雷努,编辑,软件工程和形式方法第19届国际会议,SEFM 2021,虚拟事件,2021年12月6日至10日,会议记录.第13085卷,共页计算机科学课堂讲稿,页141-159、斯普林格、,2021 [美国国防部]
缺少摘要。