2009 | ||
---|---|---|
2 | EE | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin: An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127 |
2007 | ||
1 | EE | Shengchao Qin, Guanhua He: Linking Object-Z with Spec#. ICECCS 2007: 185-196 |
1 | Wei-Ngan Chin | [2] |
2 | Florin Craciun | [2] |
3 | Shengchao Qin | [1] [2] |