Static Analysis of Processes for No and Read-Up nad No Write-Down.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Browse the full FOSSACS paper archive.