Towards Fine-Grained Verification of Application Mobility.

Yu Zhou, Yankai Huang, Jidong Ge, Jun Hu

Browse the full WISE paper archive.