要求工学　第11回

「形式手法による検証」

放送局	放送大学ラジオ
放送日時	2025年12月14日 11:15～12:00
放送時間	45分
EPGの時点	2025年12月14日（放送当日）

詳細

出演者: 神奈川大学教授　海谷　治彦東京工業大学名誉教授　佐伯　元司