| 文集名称 | 2023 21st ACM/IEEE International Symposium on Formal Methods and Models for System Design | ||
|---|---|---|---|
| 出版年 | 2023 | ||
| 会议名称 | ACM/IEEE International Symposium on Formal Methods and Models for System Design | ||
| 页码 | 1-1 | 开始页/总页数 | 1 / 1 |
| 会议地点 | Hamburg(DE) | 会议年/会议届次 | 2023 / 21st |
| 馆藏号 | IEL35057 (10315965) | ||
