Thu, 7:00 PM 富士ソフトアキバプラザ, 千代田区神田練塀町３

マルレク 「Coq入門 −− ソフトウェア科学の新しい Lingua Franca を学ぶ 」