終了 2020/04/29（水） 15:00〜

モデル検査器を作って学ぶマルチスレッドプログラミング

条件を満たす状態や実行パスを探索するツールを作りましょう

hatsugai

オンライン