logo
Distributed and concurrent systems

カンファレンス検索結果 (1)

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Shanghai, China
Jul 4, 2026
Algebraic and co-algebraic specificationsAI for formal methodsDomain Engineering+7 その他