Search results for: Jun Sun
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Embedded Systems > 96-115
Lecture Notes in Computer Science > Advances in Web-Age Information Management > XML and Semistructured Data > 520-531
Formal Aspects of Computing > 2009 > 21 > 5 > 451-483
IEEE Transactions on Software Engineering > 2008 > 34 > 6 > 844 - 859