Formalization and Proof of Distributed Systems (ja)

E1923013dacab39eb231a2fffbf7b33c?s=47 UENISHI Kota
January 20, 2017

Formalization and Proof of Distributed Systems (ja)

分散システムの形式化と証明について @情報システム特別講義D 2016年度筑波大学

E1923013dacab39eb231a2fffbf7b33c?s=128

UENISHI Kota

January 20, 2017
Tweet