Travelled to:
1 × China
Collaborated with:
F.Yu S.Yang F.Wang G.Chen
Talks about:
parallel (1) program (1) consist (1) symbol (1) check (1) open (1)
Person: Che-Chang Chan
DBLP: Chan:Che=Chang
Contributed to:
Wrote 1 papers:
- LCTES-2012-YuYWCC #consistency #parallel #source code
- Symbolic consistency checking of OpenMp parallel programs (FY, SCY, FW, GCC, CCC), pp. 139–148.