Integrating Information Flow Analysis in Unifying Theories of Programming.

Chunyan Mu, Guoqiang Li

Browse the full PRDC paper archive.