dblp.uni-trier.dewww.uni-trier.de

Guanhua He

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Wei-Ngan Chin [2]
2Florin Craciun [2]
3Shengchao Qin [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)