Speaker Deck

Formalization and Proof of Distributed Systems (ja)

by UENISHI Kota

Published January 20, 2017 in Science

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