URL,博士論文名,著者名,学位授与大学名,学位授与年,学位授与番号,取得学位名,DOI,URL(DOI)
https://cir.nii.ac.jp/crid/1910865335633382016,Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化),"奥殿, 貴仁 and オクドノ, タカマサ and OKUDONO, Takamasa",総合研究大学院大学,2021,甲第2240号,博士（情報学）,,