Search results for: Jing Sun
Formal Methods in System Design > 2010 > 37 > 1 > 1-60
Annals of Software Engineering > 2002 > 13 > 1-4 > 329-356
Formal Methods in System Design > 2010 > 37 > 1 > 1-60
Annals of Software Engineering > 2002 > 13 > 1-4 > 329-356