Software engineering and formal methods: SEFM 2019 special section

著录项

• 来源
  《Software and systems modeling》 |2021年第2期|291-292|共2页
• 作者

  Olveczky Peter Csaba; Salaun Gwen;

  展开▼
• 作者单位

  Univ Oslo Dept Informat Oslo Norway;

  Univ Grenoble Alpes Grenoble France;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词