拡張可能な形式的検証に向けて：ベルゲンでのECOOP 2025からの洞察 ノルウェー・ベルゲンで開催されるECOOP 2025の拡張可能な形式的検証に関する基調講演を、Nethermind SecurityのPetar Maksimovićと共に探る。これがブロックチェーンとプログラミング言語にどのような影響を与えるのかを解説。 2025年7月2日
Meme Insider
