logo
Experience reports

会议结果 (2)

ACM-SIGACT Symposium on Principles of Programming Languages (POPL)

Rank: A*Offline
Rennes, France
Nov 1, 2026
theorydesignunderstanding+4 更多

Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS)

Rank: COffline
Liverpool, UK
Feb 9, 2026
Formal specificationCase studiesExperience reports+7 更多