logo
Algebraic and co-algebraic specifications

会议结果 (1)

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Shanghai, China
Apr 7, 2026
Abstract interpretationAlgebraic and co-algebraic specificationsAI for formal methods+7 更多