Watanabe Yuki

I am a student at Yonezawa laboratory.

My work

• Senior thesis: Extending Hoare Type Theory for Arrays. 2009. (MS Word, PDF)
• 渡邊裕貴、前田俊行、米澤明憲 「配列のためのホーア型理論の拡張」 第 7 回ディペンダブルシステムワークショップ、2009。 (PDF)