Privacy-Sensitive Information Flow with JML.

Guillaume Dufay, Amy P. Felty, Stan Matwin

Browse the full CADE paper archive.