Teaching rigorous distributed systems with efficient model checking

Comments

from Hacker News http://bit.ly/2PcTIMR
via

Comments

Popular posts from this blog