ニュース / News

受賞

龍田 真 教授(情報学プリンシプル研究系)らの論文が日本ソフトウェア科学会 第26回研究論文賞(2021年度)を受賞

論文のタイトル

Spatial Factorization in Cyclic-Proof System for Separation Logic

著者

中澤 巧爾(名古屋大学)
龍田 真(国立情報学研究所)
木村 大輔(東邦大学)
山村 暢(名古屋税関)

授与団体

日本ソフトウェア科学会

受賞日

2022年9月2日

関連リンク
5485

注目コンテンツ / SPECIAL