2013.02.04 論文掲載 末永 幸平

末永幸平研究者が型システムを用いて資源のリークを防ぐ形式手法についての論文を SPLASH 2012 の OOPSLA Research Paper として発表しました。

関連リンク

http://dl.acm.org/citation.cfm?id=2384618

関連する研究者

末永 幸平
末永幸平研究者がハイブリッドシステムの検証のための「ハイパーストリーム処理モデル」についての論文をPOPL 2013 で発表しました。
Pance Naumov 研究者の論文 "The elusive crystal structure of the neuraminidase inhibitor Tamiflu (oseltamivir phosphate): molecular details of action" が Chemical Communications に掲載されました