終了 2021/06/19（土） 12:00〜

プログラムの正しさを数学的に証明する形式検証への招待

定理証明支援ツール Isabelle を使って形式検証を体験するセミナーです。

hatsugai

オンライン