Search results for: Yuan Fang
Lecture Notes in Computer Science > The Semantic Web – ISWC 2011 > Semantic Web In-Use Track > 81-96
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Program Reasoning and Testing > 265-279