"安武祥平,渡部卓雄","Actario: 定理証明支援系Coqによるアクターシステムの検証","日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ(PPL 2016)",,,,,,2016,Mar.
"Shohei Yasutake,Takuo Watanabe","Actario: A Framework for Reasoning About Actor Systems","5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2015)",,,,,,2015,Oct.
"安武祥平,渡部卓雄","Actario: Coqによるアクターモデルの形式化とErlangへのコード抽出","第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)",,,,,,2015,Mar.
"安武祥平,渡部卓雄","Aπ計算のCoqによる形式化","日本ソフトウェア科学会第31回大会",,,,,,2014,Sept.