공학·기술

38th International Conference on Computer Aided Verification (CAV 2026)

공식 웹사이트 방문

기간: 2026. 7. 26 ~ 7. 29
장소: Lisbon, 포르투갈
구분: 해외

주제

verificationmodel-checkingformal methodssoftware engineering

학회 시작까지 D-11