Travelled to:1 × Ireland
1 × United Kingdom
Collaborated with:S.Qin W.Chin C.Luo F.Craciun
Talks about:parametr (1) variant (1) program (1) partial (1) automat (1) specif (1) interv (1) verif (1) refin (1) infer (1)
Person: Guanhua He
DBLP: He:Guanhua
Contributed to:
2011
2009Wrote 2 papers:
- FM-2011-QinLCH #automation #specification #verification
- Automatically Refining Partial Specifications for Program Verification (SQ, CL, WNC, GH), pp. 369–385.
- ESOP-2009-CraciunCHQ #parametricity
- An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.