第三届工作形式化方法研讨会会议录
计算机科学中的逻辑
2019-09-04 v1 符号计算
摘要
本卷包含 FROM 2019 的会议录：第三届工作形式化方法研讨会，于 2019 年 9 月 3-5 日在蒂米什瓦拉（罗马尼亚）举行。FROM 旨在汇聚从事形式化方法研究的研究人员与从业者，他们通过贡献新的理论结果、方法、技术与框架，和/或通过创建或使用应用理论贡献的软件工具使形式化方法得以工作。
引用
@article{arxiv.1909.00584,
title = {Proceedings Third Symposium on Working Formal Methods},
author = {Mircea Marin and Adrian Crăciun},
journal= {arXiv preprint arXiv:1909.00584},
year = {2019}
}