Speaker Deck

次元型に基づくループ不変条件自動生成(Synthesizing Loop Invariants via Dimension Types)

by KINOSHITA Minoru

Published February 15, 2016 in Research

京都大学情報学研究科通信情報システム専攻平成27年度修士論文公聴会で発表