国际形式化方法、验证与确认应用研讨会（ISoLA）登记为一个以形式化方法及验证与确认技术在产业与实际问题中应用为主题的国际学术研讨会。现有登记资料未载明其成立年份与地点、宗旨、活动与内部结构。
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
暂无会议数据
暂无关系数据
该组织出版物列表与 PDF 下载
国际形式化方法、验证与确认应用研讨会 · 一次付费，永久查看