Search results for: Yuzhang Feng
Advanced Materials > 32 > 27 > n/a - n/a
Advanced Materials > 32 > 27 > n/a - n/a
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Program Reasoning and Testing > 265-279
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Security and Knowledge > 57-75
Innovations in Systems and Software Engineering > 2015 > 11 > 3 > 203-215
2013 IEEE Ninth World Congress on Services > 480 - 487
2013 IEEE Ninth World Congress on Services > 306 - 311