IVOIRE 交付成果 1.1：现有 VOs 与工具的分类及 VOs 语义的形式化
计算机科学中的逻辑
2022-05-13 v1 形式语言与自动机理论
摘要
本报告讨论 VO 方法的基础。随后，它探索多个方向并论证其结构与应用。
引用
@article{arxiv.2205.06138,
title = {IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics},
author = {Sebastian Stock and Fabian Vu and Atif Mashkoor and Michael Leuschel and Alexander Egyed},
journal= {arXiv preprint arXiv:2205.06138},
year = {2022}
}