このエントリーをはてなブックマークに追加
プログラム検証器を作って学ぶ Hoare 論理

中止 2020/05/23(Sat) 12:10〜

プログラム検証器を作って学ぶ Hoare 論理

好きな言語でプログラム検証器を作りましょう。

hatsugai hatsugai

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

Media List

スライド

スライドはありません。

動画

動画はありません。

ブログなど

ブログはありません。