logo
experience reports

컨퍼런스 결과 (2)

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

Rank: A*Offline
Rennes, France
Jan 11, 2026
experience reportstheorydesign+4 더 보기

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

Rank: COffline
Liverpool, UK
Sep 2, 2026
Formal specificationCase studiesExperience reports+7 더 보기