Search results for: Zhenchang Xing
Lecture Notes in Computer Science > Top Productivity through Software Reuse > Implementation > 151-166
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification, Analysis and Testing > 537-552