Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday : 10th international colloquium on theoretical aspects of computing : ICTAC 2013 : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8051. Festschrift)
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday : 10th international colloquium on theoretical aspects of computing : ICTAC 2013 : Sep 2013, Shanghai, China.
(Lecture Notes in Computer Science ; 8051. Festschrift)
This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researc...