排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
Nxumalo Madoda Timm Nils Gruner Stefan 《International Journal on Software Tools for Technology Transfer (STTT)》2023,25(1):115-128
International Journal on Software Tools for Technology Transfer - This article is a follow-up contribution that extends the conference paper (Nxumalo, in: Laarman, Sokolova (eds)Model Checking... 相似文献
1