Introduction to the special issue for SPIN 2021

Int. J. Softw. Tools Technol. Transf.（2023）

引用 0|浏览3

暂无评分

摘要

The 27th International Symposium on Model Checking Software, SPIN 2021, was held online, July 12, 2021. The current special issue contains extended versions of three selected works published at the symposium. This short introduction presents these selected papers and the selection process.

查看译文

关键词

spin,introduction

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要