VSL 2014: VIENNA SUMMER OF LOGIC 2014
Ying Jiang
Organization: State Key Laboratory of Computer Science, Institute of of Software, Chinese Academy of Sciences
Pages in this Program
IFIP-WG16 on Sunday, July 13th, 2014
IFIP-WG16 Program
Program
Program for Sunday, July 13th, 2014