【24h】

Preface

机译:前言

获取原文
获取原文并翻译 | 示例

摘要

The 14th edition of the International Conference on Software Engineering and Formal Methods (SEFM) presented new advances and research results in the fields of software engineering and formal methods. The conference brought together leading researchers and practitioners from academia and industry, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
机译:国际软件工程和形式方法会议(SEFM)的第14版介绍了软件工程和形式方法领域的新进展和研究成果。该会议聚集了来自学术界和工业界的领先研究人员和从业人员,以促进形式方法的最新发展,促进其在软件行业中的应用,并鼓励他们融入实用的软件工程方法和工具。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号