FTfJP 2022 - Proceedings of the Workshop on Formal Techniques for Java-like Programs

被引：0

作者：

机构：

来源：

FTfJP 2022 - Proceedings of the Workshop on Formal Techniques for Java-like Programs | 2022年

关键词：

Compendex;

D O I：

24th Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, held at the ECOOP 2022

中图分类号：

学科分类号：

摘要：

引用