Travelled to:
1 × USA
Collaborated with:
S.Fickas
Talks about:
framework (1) assist (1) aspect (1) applic (1) model (1) check (1) base (1)
Person: Zebin Chen
DBLP: Chen:Zebin
Contributed to:
Wrote 1 papers:
- SEKE-2011-ChenF #aspectj #model checking
- Model Checking Framework-based Applications with AspectJ Assistance (ZC, SF), pp. 296–301.