Ensuring Secure and Robust Grid Applications - From a Formal Method Point of View.

Ke Xu, Yuexuan Wang, Cheng Wu

Browse the full GPC paper archive.