中止 2020/04/11（土） 12:10〜

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

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

hatsugai

東京都千代田区神田神保町2-13-1　西遊ビル4F