ParentsSign in to add mentor
ChildrenSign in to add trainee
CollaboratorsSign in to add collaborator
BETA: Related publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
|He N, Hsiao MS. (2008) A new testability guided abstraction to solving bit-vector formula Acm International Conference Proceeding Series. 39-45|