logo
program transformations

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

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
detection of bugs and security vulnerabilitiesprogram transformationshybrid and cyber-physical systems+23 その他