camloeba
(camloeba)
利用開始日: 2012/11/04
Formal verification. Functional programming. OCaml.
Block chain. Cryptcurrency. Tezos. Kyoto.
2016
/
09/25
(日)11:00〜
キャンセル
2012
/
11/17
(土)18:00〜
申込済
Formal verification. Functional programming. OCaml.
Block chain. Cryptcurrency. Tezos. Kyoto.
2016
/
09/25
(日)11:00〜
キャンセル
2012
/
11/17
(土)18:00〜
申込済