Inventor

WU GUANG-AN

US2 patents

Patents

2 patents

US7457832B2Nov 25, 2008

Verifying dynamically generated operations on a data store

MICROSOFT CORP18 citations76

US7761430B2Jul 20, 2010

Verification of cross domain data system query results

MICROSOFT CORP0 citations36