FRIDA’15 Program

Sunday, May 10, 2015

Check the program of the 2nd workshop on Formal Reasoning in Distributed Algorithms at FORTE. We have a nice program this year.