Privacy-Sensitive Information Flow with JML - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillaume Dufay, Amy P. Felty, Stan Matwin. Privacy-Sensitive Information Flow with JML. In Robert Nieuwenhuis, editor, Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings. Volume 3632 of Lecture Notes in Computer Science, pages 116-130, Springer, 2005. [doi]

This author has not been identified. Look up 'Guillaume Dufay' in GoogleThis author has not been identified. Look up 'Amy P. Felty' in GoogleThis author has not been identified. Look up 'Stan Matwin' in Google

runs on WebDSL