VSL 2014: VIENNA SUMMER OF LOGIC 2014
Leslie Lamport
Organization: Microsoft Research
Pages in this Program
ARQNL on Wednesday, July 23rd, 2014
ARQNL Program
Program
Program for Wednesday, July 23rd, 2014