확장 가능한 포멀 검증을 향하여: 베르겐에서 열린 ECOOP 2025 인사이트

노르웨이 베르겐에서 열리는 ECOOP 2025에서 Nethermind Security의 Petar Maksimović가 전하는 확장 가능한 포멀 검증 키노트를 만나보세요. 블록체인과 프로그래밍 언어에 미치는 영향을 알아봅니다.

2025년 7월 2일