2011-11-15 LL名古屋 発表資料『Coq/GaLLinaによる証明駆動開発の魅力』 Gallinaによる証明駆動開発の魅力 View more presentations from Hiroki Mizuno