Travelled to:
1 × Estonia
Collaborated with:
G.Calin R.Majumdar R.Meyer
Talks about:
abstract (1) theoret (1) languag (1) refin (1)
Person: Zhenyue Long
DBLP: Long:Zhenyue
Contributed to:
Wrote 1 papers:
- FASE-2012-LongCMM #abstraction #refinement
- Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.