logo
Algebraic and co-algebraic specifications

컨퍼런스 결과 (1)

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Shanghai, China
Jul 4, 2026
Abstract interpretationComponent-based software engineeringCyber-physical systems+7 더 보기